Corina Pasareanu-Silicon Valley Campus - Carnegie Mellon University

Corina Pasareanu

Contact Info:
Corina Pasareanu
Carnegie Mellon University
Silicon Valley
Building 23 (MS 23-11)
Moffett Field, CA 94035

Phone: 650-604-4767


Corina Pasareanu, Senior Systems Scientist


Corina is performing research in software engineering at NASA Ames, in the Robust Software Engineering group. She is employed by Carnegie Mellon University, at the Silicon Valley campus. Her research area is software verification. She investigates the use of abstraction and symbolic execution in the context of the Java PathFinder verification tool set, with applications to test input generation and error detection. Currently, her main interest is in developing, extending and maintaining Symbolic PathFinder, a symbolic execution tool for Java bytecode. She is also working on using learning techniques for automating assume-guarantee compositional verification. Currently she is working on compositional techniques for probabilistic systems. Her research interests also include parallelization of verification tasks and modeling and analysis for multiple statechart formalisms.

Website: NASA web profile