Sotabase

Career

· Computer Scientist, KBR at NASA Ames Research Center (Current)2020–
· Research Intern, KBR, Inc. at NASA Ames Research Center2019–2019
· Intern, Rockwell Collins2015–2015
· Research Assistant, University of Minnesota2014–2020
· Doctor of Philosophy (Ph.D.), Computer Science, University of Minnesota-Twin Cities2014–2020
· Master of Science (M.Sc.), Computer Science, University of Minnesota-Twin Cities2014–2015
· Bachelor's degree, Computer Engineering and Informatics, Panepistimion Patron / University of Patras2007–2013

Publications (17)

International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2017
31
cited
International Conference on Computer Aided Verification · 2022
8
cited
6
cited
Verified Software: Theories, Tools, Experiments · 2015
5
cited
Requirements Engineering: Foundation for Software Quality · 2023
3
cited
International Conference on Automated Software Engineering · 2020
3
cited
Hierarchical Circular Compositional Reasoning
2012
1
cited
Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation
Compositional Realizability Checking within FRET
2021
Integrating FRET into PLCverif
Sotabase
Andreas Katis | Researcher Profile | Sotabase | Sotabase