Name:Anastasia Mavridou

Bio:

I am the Technical Lead of FRET, NASA’s open-source tool that turns ambiguous, natural-language requirements into precise specifications a machine can check. I am also a member of the Robust Software Engineering (RSE) Group at NASA Ames Research Center, where I research and build tools for verifying and validating safety-critical systems.

In collaboration with engineers, I apply FRET to help verify complex, often autonomous, aerospace systems before they fly.

Country:United States

Affiliation:KBR Inc / NASA Ames Research Center

Research interests:Formal Methods, Requirements Engineering