Anastasia Mavridou

Anastasia Mavridou is a member of the Robust Software Engineering (RSE) Group at NASA Ames Research Center, employed by KBR Inc, where she performs research on formal methods for requirements engineering. More specifically, she leads the work on the NASA Ames’ Formal Requirements Elicitation Tool (FRET) and she is researching and developing approaches for requirements elicitation and analysis. Before joining RSE, she worked as a postdoc at the Institute for Software Integrated Systems, Vanderbilt University, USA. She received her PhD in 2016 from École Polytechnique Fédérale de Lausanne (EPFL), Switzerland. She has authored more than 40 publications spanning the broad areas of formal methods and requirements engineering with a focus on verification and validation techniques. She has 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.