Corina Păsăreanu
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).
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.[2]
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.[3]
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".[4]
References
- ^ "Corina Pasareanu", CyLab, Carnegie Mellon University, retrieved 2024-01-25
- ^ Corina Păsăreanu at the Mathematics Genealogy Project
- ^ "ICSE Most Influential Paper Award", SIGSOFT, Association for Computing Machinery, retrieved 2024-01-25
- ^ "2023 ACM Fellows Celebrated for Contributions to Computing That Underpin Our Daily Lives", Media center, Association for Computing Machinery, retrieved 2024-01-25
External links
- page
- Corina Păsăreanu publications indexed by Google Scholar
- Articles with short description
- Short description matches Wikidata
- Use dmy dates from January 2024
- Use list-defined references from January 2024
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ORCID identifiers
- Articles with SUDOC identifiers
- Year of birth missing (living people)
- Living people
- Romanian expatriates in the United States
- Romanian computer scientists
- Romanian women computer scientists
- American computer scientists
- American women computer scientists
- Formal methods people
- Politehnica University of Bucharest alumni
- Kansas State University alumni
- 2023 Fellows of the Association for Computing Machinery