Andreas Katis

Hi there! My name is Andreas Katis and I am a Computer Scientist for KBR, Inc. and a member of NASA Ames’s Robust Software Engineering group (RSE). My research background is in the application of formal methods for the analysis of software systems, primarily at the level of requirements. I earned my BSc degree from the Computer Engineering and Informatics Department (C.E.I.D.) at the University of Patras. I received my MsC and PhD in Computer Science from the University of Minnesota in 2020, under the supervision of Dr. Michael W. Whalen. My PhD thesis was on the development of realizability checking and reactive synthesis techniques for infinite-state problems.

Current projects:

• Formal Requirements Elicitation Tool (FRET)
• Contract based Compositional verification of Simulink models (CoCoSim)