![Corina S. Pasareanu](https://popl21.sigplan.org/getProfileImage/corinaspasareanu/8a4ebbb5-2580-41c7-94d9-d7b58c667a34/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
POPL 2021-profile
View general profile
View general profile