Corina Pasareanu
Principal Systems Scientist, CyLab
Courtesy Appointment, Electrical and Computer Engineering
Corina Pasareanu is an ACM Fellow and an IEEE ASE Fellow, working at NASA Ames. She is affiliated with KBR and Carnegie Mellon University's CyLab. Her research interests include model checking, symbolic execution, compositional verification, probabilistic software analysis, autonomy, and security. She is the recipient of several awards, including ETAPS Test of Time Award (2021), ASE Most Influential Paper Award (2018), ESEC/FSE Test of Time Award (2018), ISSTA Retrospective Impact Paper Award (2018), ACM Impact Paper Award (2010), and ICSE 2010 Most Influential Paper Award (2010). She has been serving as Program/General Chair for several conferences including: ICSE 2025, SEFM 2021, FM 2021, ICST 2020, ISSTA 2020, ESEC/FSE 2018, CAV 2015, ISSTA 2014, ASE 2011, and NFM 2009. She is on the steering committees for the ICSE, TACAS and ISSTA conferences. She is currently an associate editor for IEEE TSE and for STTT, Springer Nature.
Projects:
LLM Self-Defense Against Adversarial Attacks for Coding Tasks (CyLab, PI), Trinity: Neurosymbolic Learning and Reasoning (DARPA, CMU PI), Enabling One-Line Rust Verification with Program Synthesis (AWS, Co-PI), Machine Learning for JavaScript Vulnerability Detection (C3.ai DTI, PI), Verifiable Personalization for Federated Learning (CyLab, PI), HUGS: Human-Guided Software Testing and Analysis for Scalable Bug Detection and Repair (NSF, PI), Safety of shared control in autonomous driving (Safe-SCAD) (Assuring Autonomy International Programme, Co-PI), Provably Robust Deep Learning (DARPA GARD, co-PI), Mera: Memoized Ranged Systematic Software Analyses (NSF, Co-PI), ISSTAC: Integrated Symbolic Execution for Space-Time Analysis of Code (DARPA, Co-PI), Symbolic PathFinder: Symbolic Execution for Java Bytecode (NASA, Main developer).
More information can be found on her personal webpage.
Education
2001 Ph.D., Computer Science, Kansas State University
1995 MS, Computer Science, University Politehcnica of Bucharest
1994 BS, Computer Science, University Politehcnica of Bucharest
Affiliations
Research Interests
- AI and ML for security
- authentication and passwords
- automotive and transportation security and privacy
- blockchain
- compositional verification
- cryptography
- cyber physical systems security and privacy
- cybersecurity + privacy
- data security and privacy
- Formal methods
- formal methods for security
- language-based security
- ML and AI
- model checking and automated testing
- model-based development
- network security
- privacy
- probalistic software analysis
- protocol security
- security
- security of AI and ML
- software engineering
- software security
- systems security
- Usability and human behavior
- verification
Media mentions
CyLab Security and Privacy Institute
Applications open for CMU Ph.D. programs in cybersecurity and privacy
Carnegie Mellon University offers several Ph.D. programs that attract students interested in pursuing research careers in security and privacy.
CyLab Security and Privacy Institute
Third round of Future Enterprise Security Initiative funded projects announced
CyLab’s Future Enterprise Security Initiative has announced its third round of funded proposals.
CyLab Security and Privacy Institute
CyLab awards 2024 seed funding
This year, CyLab has awarded $400K in seed funding to 17 CMU students, faculty, and staff members representing five departments at the university.
Quanta Magazine
Pasareanu quoted on safety of driverless cars
CyLab/ECE’s Corina Pasareanu was quoted in Quanta Magazine on the reliability of perception systems in autonomous vehicles.
CyLab Security and Privacy Institute
Corina Pasareanu and Elaine Shi named 2023 ACM Fellows
ACM, the Association for Computing Machinery, has recognized CyLab faculty members Corina Pasareanu and Elaine Shi as 2023 ACM Fellows for their transformative contributions to computing science and technology.
CyLab Security and Privacy Institute
Second round of Future Enterprise Security Initiative funded projects announced
CyLab’s Future Enterprise Security Initiative has announced its second round of funded proposals.
CyLab Security and Privacy Institute
CyLab faculty earn Amazon Research Awards
CyLab’s Limin Jia, Bryan Parno and Corina Pasareanu recently received Amazon Research Awards in the category of automated reasoning.
CyLab Security and Privacy Institute
First round of Future Enterprise Security Initiative funded projects announced
CyLab’s Future Enterprise Security Initiative is underway as the first round of funded proposals has been announced.
CyLab Security and Privacy Institute
CyLab researchers awarded AI security funding
CyLab’s Giulia Fanti, Corina Pasareanu, and Vyas Sekar have been awarded research funding from the C3.ai Digital Transformation Institute.
CyLab Security and Privacy Institute
“Adulting” for cybersecurity, GANs, and more: CyLab’s 2022 seed funding awardees
Over $400K in seed funding has been awarded to 18 different faculty and staff across seven departments at Carnegie Mellon to support security and privacy research.
CyLab Security and Privacy Institute
CyLab names 2021 Presidential Fellows
Four high-achieving CyLab Ph.D. students pursuing security and/or privacy-related research have been awarded CyLab Presidential Fellowships.
CyLab Security and Privacy Institute
New tool automatically finds buffer overflow vulnerabilities
A team of CyLab researchers have designed a new tool that automatically checks for memory bugs—the types of bugs that can lead to buffer overflow exploits, a commonly deployed cyberattack.