Registered user since Fri 14 Aug 2015
Name:Corina S. Păsăreanu
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/
Contributions
POPL 2016-profile
View general profile
View general profile