Corina S. Păsăreanu is a Romanian-American computer scientist with affiliations at the

NASA Ames Research Center The Ames Research Center (ARC), also known as NASA Ames, is a major NASA research center at Moffett Federal Airfield in California's Silicon Valley. It was founded in 1939 as the second National Advisory Committee for Aeronautics (NACA) laborat ...

, with the

Carnegie Mellon University Carnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania, United States. The institution was established in 1900 by Andrew Carnegie as the Carnegie Technical Schools. In 1912, it became the Carnegie Institu ...

CyLab Security and Privacy Institute, and with KBR. Her research involves

formal methods In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, ...

, including

symbolic execution In computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for i ...

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 Politehnica University of Bucharest () is a technical university in Bucharest, Romania founded in 1818.Kansas State University Kansas State University (KSU, Kansas State, or K-State) is a public university, public Land-grant university, land-grant research university with its main campus in Manhattan, Kansas, United States. It was opened as the state's land-grant coll ...

, with the dissertation ''Abstraction and Modular Reasoning for the Verification of Software'' supervised by Matthew B. Dwyer.

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 In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software syst ...

, won the Most Influential Paper Award from the

International Conference on Software Engineering The International Conference on Software Engineering (ICSE) is one of the largest annual software engineering conferences. It has an 'A*' rating in thRankingsof thComputing Research and Education Association of Australasia (CORE)and an 'A1' rati ...

. Păsăreanu was named as an

ACM Fellow ACM Fellowship is an award and fellowship that recognises outstanding members of the Association for Computing Machinery (ACM). The title of ACM Fellow A fellow is a title and form of address for distinguished, learned, or skilled individuals ...

, in the 2023 class of fellows, for "contributions to the development and application of symbolic execution and compositional verification".

References

External links

page
* {{DEFAULTSORT:Pasareanu, Corina 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