![Corina S. Pasareanu](https://pldi20.sigplan.org/getProfileImage/corinaspasareanu/21083c6c-6090-4a51-bbb1-9c86cbadd5b8/small.jpg?1711465957000)
Registered user since Tue 27 Aug 2019
Name:Corina S. Pasareanu
Affiliation:Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Personal website: https://www.cylab.cmu.edu/directory/bios/pasareanu-corina.html
Contributions
PLDI 2020-profile
View general profile
View general profile