Corina Păsăreanu
{{Short description|Romanian-American computer scientist}}
{{Use dmy dates|cs1-dates=ly|date=January 2024}}
{{Use list-defined references|date=January 2024}}
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.{{r|cylab}} 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).
Education
Păsăreanu studied computer science at the Politehnica University of Bucharest, where she earned a bachelor's degree in 1994 and a master's degree in 1995. She earned her Ph.D. in 2001, at Kansas State University, with the dissertation Abstraction and Modular Reasoning for the Verification of Software supervised by Matthew B. Dwyer.{{r|mg}}
Recognition
In 2010, a paper coauthored by Păsăreanu in 1998 on extracting finite-state models from compiled computer code, suitable for use in model checking, won the Most Influential Paper Award from the International Conference on Software Engineering.{{r|icse-mip}}
Păsăreanu was named as an ACM Fellow, in the 2023 class of fellows, for "contributions to the development and application of symbolic execution and compositional verification".{{r|acm-fellow}}
References
{{reflist|refs=
}}
External links
- [https://www.andrew.cmu.edu/user/pcorina/Home page]
- {{Google Scholar id|pwIuivQAAAAJ}}
{{Authority control|state=collapsed}}
{{DEFAULTSORT:Pasareanu, Corina}}
Category:Year of birth missing (living people)
Category:Romanian expatriates in the United States
Category:Romanian computer scientists
Category:Romanian women computer scientists
Category:American computer scientists
Category:American women computer scientists
Category:Formal methods people
Category:Politehnica University of Bucharest alumni
Category:Kansas State University alumni
Category:2023 fellows of the Association for Computing Machinery