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
Publications
Co-Authors
- Aaron Larson
- Abdulbaki Aydin
- Abhik Roychoudhury
- Ahmed Irfan
- Aleksandar Zeljic
- Alex Ozdemir
- Alexander Robey
- Allen Goldberg
- Alyas Almaawi
- Amirfarhad Nilizadeh
- Ana C. V. de Melo
- Ana Cristina Vieira de Melo
- Andreas Podelski
- Andreas Zeller
- Andrew Hill
- Anirban Roy
- Ankur Taly
- Anto Nanah Ji
- Antonio Filieri
- Anupam Datta
- Anvesh Komuravelli
- Arnaud Venet
- Artem Khyzha
- Arthur Azevedo de Amorim
- Aymeric Fromherz