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)

Personal Links

Career & Education History

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

Advisors, Relations & Conflicts

PhD Advisor
1997 – 2001
 

Expertise

Artificial Intelligence
2018 – 2024
 
Security
2010 – 2024
 
Formal Methods
2001 – 2024