# Corina S. Pasareanu

> Romanian-American computer scientist

**Wikidata**: [Q102314813](https://www.wikidata.org/wiki/Q102314813)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Corina_Păsăreanu)  
**Source**: https://4ort.xyz/entity/corina-s-pasareanu

## Summary
Corina S. Pasareanu is a Romanian-American computer scientist and university teacher recognized for her foundational contributions to software engineering. She is an ACM Fellow, best known for her work in the development and application of symbolic execution and compositional verification to improve software reliability and security.

## Biography
- **Nationality:** Romanian-American
- **Education:** Kansas State University (Doctoral advisor: Matthew B. Dwyer)
- **Known for:** Development and application of symbolic execution and compositional verification
- **Employer(s):** University teacher (academic sector)
- **Field(s):** Computer science, artificial intelligence, machine learning, software engineering, computer security, blockchain

## Contributions
Corina S. Pasareanu has made significant advancements in the field of computer science, particularly within software engineering and formal methods. Her research focuses on symbolic execution, a technique used to analyze programs by using symbolic values instead of concrete data to determine which inputs cause specific parts of a program to execute. This work is instrumental in identifying software vulnerabilities and ensuring system correctness.

In addition to symbolic execution, Pasareanu has contributed extensively to compositional verification. This approach allows for the analysis of complex, large-scale systems by verifying individual components and their interactions, making the verification of modern software architectures more manageable. Her work bridges the gap between theoretical computer science and practical application, extending into the domains of artificial intelligence and machine learning. She has explored the security and reliability of artificial intelligence models and the application of verification techniques to blockchain technology. In 2024, she was honored as an ACM Fellow for these specific contributions, reflecting her impact on both the industrial and service sectors of the technology field.

## FAQs
### Q: What is Corina S. Pasareanu's primary area of research?
A: She specializes in computer science with a focus on software engineering, specifically the development of symbolic execution and compositional verification techniques to enhance software security and performance.

### Q: What major professional honors has she received?
A: She was named an ACM Fellow in 2023 (inducted in January 2024) by the Association for Computing Machinery for her contributions to symbolic execution and compositional verification.

### Q: Where did Corina S. Pasareanu receive her academic training?
A: She completed her doctoral studies at Kansas State University, where she was advised by Matthew B. Dwyer.

## Why They Matter
Corina S. Pasareanu’s work is vital to the integrity of modern computing environments. As software systems become increasingly complex and integrated into critical infrastructure, traditional testing methods often fail to find deep-seated logic errors or security flaws. Pasareanu’s advancements in symbolic execution provided the field with rigorous, automated methods to explore program paths and identify bugs that would otherwise remain undetected. 

Furthermore, her research into compositional verification has provided a scalable framework for analyzing massive software systems, which is essential for the development of secure artificial intelligence and blockchain technologies. By establishing systematic approaches to software development and verification, her work has influenced how both academic researchers and industrial engineers approach the creation of dependable software. Her recognition as an ACM Fellow highlights her role as a leading figure in ensuring the safety and security of the digital world.

## Notable For
*   **ACM Fellow:** Awarded in 2023 for contributions to symbolic execution and compositional verification.
*   **Symbolic Execution Research:** Developed key methodologies for the automated analysis and testing of software.
*   **Cross-Disciplinary Impact:** Applied formal verification methods to artificial intelligence, machine learning, and blockchain security.
*   **Academic Leadership:** Recognized as a university teacher and a member of the Association for Computing Machinery.

## Body
### Academic Background and Education
Corina S. Pasareanu is a Romanian-American computer scientist whose academic foundations were established at Kansas State University. During her doctoral research, she worked under the supervision of Matthew B. Dwyer. Her academic lineage is recorded in the Mathematics Genealogy Project (ID 115175), and her extensive publication record is tracked via the DBLP computer science bibliography (ID 03/4368).

### Research Specializations
Pasareanu’s work spans several critical sub-fields of computer science:
*   **Software Engineering:** Focusing on systematic approaches to software development and the study of computation.
*   **Symbolic Execution:** Advancing the development and application of techniques that use symbolic inputs to verify program behavior.
*   **Artificial Intelligence and Machine Learning:** Investigating the verification of artificial intelligence models and the statistical models used in machine learning.
*   **Computer Security:** Developing methods to protect computer systems and networks from data leaks, theft, and misuse.
*   **Blockchain:** Applying formal methods to ensure the security and reliability of decentralized ledger technologies.

### Professional Recognition and Memberships
In January 2024, Pasareanu was formally recognized as an ACM Fellow by the Association for Computing Machinery. The citation for this honor specifically noted her "contributions to the development and application of symbolic execution and compositional verification." She is also identified as a university teacher, contributing to the education and training of future computer scientists. Her work is widely indexed across international authority files, including VIAF, the Library of Congress, and the German National Library (GND).

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Corina S. Pasareanu",
  "jobTitle": "Computer Scientist, University Teacher",
  "nationality": [
    {
      "@type": "Country",
      "name": "Romania"
    },
    {
      "@type": "Country",
      "name": "United States"
    }
  ],
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "Kansas State University"
    }
  ],
  "knowsAbout": [
    "Computer Science",
    "Software Engineering",
    "Symbolic Execution",
    "Artificial Intelligence",
    "Machine Learning",
    "Computer Security",
    "Blockchain",
    "Compositional Verification"
  ],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q102227546",
    "https://en.wikipedia.org/wiki/Corina_P%C4%83s%C4%83reanu"
  ],
  "description": "Romanian-American computer scientist known for her work in symbolic execution and compositional verification."
}

## References

1. IdRef
2. Mathematics Genealogy Project
3. Czech National Authority Database
4. [Source](https://www.acm.org/media-center/2024/january/fellows-2023)
5. National Library of Israel Names and Subjects Authority File