Corina S. Pasareanu

Researcher, CyLab, Carnegie Mellon University

Researcher, Code TI, NASA Ames

  • Joined July 2019

Names

Corina S. Pasareanu (Preferred)
,
Corina Pasareanu

Emails

****@sv.cmu.edu (Confirmed)
,
****@cmu.edu (Confirmed)
,
****@andrew.cmu.edu (Confirmed)

Career & Education History

Researcher
CyLab, Carnegie Mellon University (cmu.edu)
2008Present
 
Researcher
Code TI, NASA Ames (nasa.gov)
2001Present
 

Advisors, Relations & Conflicts

PhD Advisor
19972001
 

Expertise

Artificial Intelligence
20182024
 
Security
20102024
 
Formal Methods
20012024
 

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview