Corina_Păsăreanu
Corina Păsăreanu
Romanian-American computer scientist
Corina S. Păsăreanu is a Romanian-American computer scientist with affiliations at the NASA Ames Research Center, with the Carnegie Mellon University CyLab Security and Privacy Institute, and with KBR.[1] Her research involves formal methods, including symbolic execution and the verification of systems of interacting components. She is the author of the book Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Springer, 2022).