Corina S. Pasareanu (Preferred)
, Corina Pasareanu
Corina S. Pasareanu
Researcher, CyLab, Carnegie Mellon University
Researcher, Code TI, NASA Ames
- Joined July 2019
Names
Emails
****@sv.cmu.edu (Confirmed)
, ****@cmu.edu (Confirmed)
, ****@andrew.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
Expertise
Artificial Intelligence
2018 – 2024
Security
2010 – 2024
Formal Methods
2001 – 2024