Corina Pasareanu
Principal Systems Scientist, CyLab
Courtesy Appointment, Electrical and Computer Engineering
Corina Pasareanu performs research in software engineering at NASA Ames in the Robust Software Engineering group. She is employed by Carnegie Mellon at the Silicon Valley campus. She is affiliated with CMU’s CyLab and holds a courtesy appointment in Electrical and Computer Engineering. At Ames, she is developing and extending Symbolic PathFinder, a symbolic execution tool for Java bytecode. Her research interests include: model checking and automated testing, compositional verification, model-based development, probabilistic software analysis, and autonomy and Security.
She is/was program/general chair for several conferences including: the International Conference on Software Testing, Validation and Verification (ICST 2020), the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), the International Conference on Computer Aided Verification (CAV 2015), the International Symposium on Software Testing and Analysis (ISSTA 2014), the International Conference on Automated Software Engineering (ASE 2011), and the NASA Formal Methods Symposium (NFM 2009).
She is the recipient of several awards, including ASE Most Influential Paper Award (2018), ESEC/FSE Test of Time Award (2018), ISSTA Retrospective Impact Paper Award (2018), ACM Distinguished Scientist (2016), ACM Impact Paper Award (2010), ICSE 2010 Most Influential Paper Award (2010). She is currently an associate editor for the IEEE Transactions on Software Engineering (TSE) journal.
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
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.
CyLab Security and Privacy Institute
Corina Pasareanu receives ETAPS’ Test of Time Award
Corina Pasareanu, a researcher in CyLab, has received a Test of Time Award from the European Joint Conferences on Theory and Practice of Software (ETAPS).
CyLab Security and Privacy Institute
CyLab’s Corina Pasareanu and colleagues receive $1.2 million grant to develop automated bug-finding techniques
The National Science Foundation has awarded a $1.2 million grant to researchers at Carnegie Mellon University, UC-Berkeley, and UC-Santa Barbara to develop automated bug-detection and repair techniques that work at large scales.
CMU Silicon Valley
CMU-SV’s Top 10 of 2018
We are counting down to the new year with CMU-SV’s top 10 of 2018, celebrating novel projects, awards, and research wins from this past year.
CMU Engineering
Ready for takeoff
A team of researchers and students at CMU-SV are using simulation and AI technologies to optimize flight departure and arrival schedules for safety and efficiency.
CMU Engineering
Celebrating NASA with a history of collaboration
As NASA turns 60, the College of Engineering celebrates its history of partnerships with NASA: from research and competitions, to the CMU-SV campus located at NASA’s Ames Research Park.
CMU Engineering
Reducing complexity to increase security
Carnegie Mellon University team receives $7.5M ONR grant for software complexity reduction, or simplifying complex internet protocols to build greater security.
CyLab Security and Privacy Institute
Fourteen years later, Pasareanu’s automated software-testing work awarded for retrospective impact
Fourteen years ago, CyLab associate research professor Corina Pasareanu and two of her colleagues published a paper outlining three automated techniques for checking software for bugs and vulnerabilities. This month, Pasareanu and her colleagues are receiving the 2018 Retrospective Impact Award from the International Symposium on Software Testing and Analysis (ISSTA).