Corina S. Păsăreanu es una científica informática rumano-estadounidense afiliada al Centro de Investigación Ames de la NASA , al Instituto de Seguridad y Privacidad CyLab de la Universidad Carnegie Mellon y a KBR . [1] Su investigación involucra métodos formales , incluida la ejecución simbólica y la verificación de sistemas de componentes que interactúan. Es autora del libro Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Springer, 2022).
Păsăreanu estudió informática en la Universidad Politécnica de Bucarest , donde obtuvo una licenciatura en 1994 y una maestría en 1995. Obtuvo su doctorado en 2001, en la Universidad Estatal de Kansas , con la disertación Abstracción y razonamiento modular para la verificación de software supervisada por Matthew B. Dwyer. [2]
En 2010, un artículo coescrito por Păsăreanu en 1998 sobre la extracción de modelos de estados finitos a partir de código informático compilado, adecuados para su uso en la verificación de modelos , ganó el Premio al artículo más influyente de la Conferencia Internacional sobre Ingeniería de Software . [3]
Păsăreanu fue nombrado miembro de la ACM en la clase de 2023 por sus "contribuciones al desarrollo y la aplicación de la ejecución simbólica y la verificación compositiva". [4]