Write a Blog >>
Corina Pasareanu

Registered user since Fri 14 Aug 2015

Name: Corina Pasareanu

Bio: I am doing research in software engineering at NASA Ames, in the Robust Software Engineering group. I am employed by Carnegie Mellon University, at the Silicon Valley campus. I am affiliated with CMU CyLab and also hold a courtesy appointment with CMU ECE

Affiliation: NASA Ames Research Center

Personal website: http://ti.arc.nasa.gov/profile/pcorina/

POPL 2016 Activities

POPL 2016-profile
View general profile