Anastasia Mavridou
Research Computer Scientist

Robust Software Engineering group
NASA Ames Research Center
KBR Inc.

e-mail: firstname dot lastname at nasa.gov
Google Scholar DBLP

About me

I am a member of the Robust Software Engineering (RSE) Group at NASA Ames Research Center, employed by KBR Inc, where I perform research on formal methods and software engineering. More specifically, I work on the NASA Ames' Formal Requirements Elicitation Tool (FRET) and my research focuses on requirements engineering, component-based system design, and compositional verification.

Before joining RSE, I worked as a postdoc with Prof. Janos Sztipanovits at the Institute for Software Integrated Systems, Vanderbilt University, USA. I received my PhD in December 2016 from École polytechnique fédérale de Lausanne (EPFL), Switzerland. I was fortunate to be supervised by Prof. Joseph Sifakis and Dr. Simon Bliudze. Here is my PhD thesis.

I have authored more than 25 publications spanning the broad areas of formal methods and software engineering, with a focus on system design and formal analysis techniques. I have also served on the program committees of numerous workshops and conferences in those areas, including being the general chair of the NASA Formal Methods (NFM) 2020 symposium.

Here is my CV.

Current Events


Last updated: December 2021