# Sorin Lerner

> Ph.D. University of Washington 2006

**Wikidata**: [Q102243271](https://www.wikidata.org/wiki/Q102243271)  
**Source**: https://4ort.xyz/entity/sorin-lerner

## Summary
Sorin Lerner is a computer scientist known for earning his Ph.D. from the University of Washington in 2006. His doctoral research focused on automatically proving the correctness of program analyses and transformations. He has also served as a doctoral advisor to other computer scientists.

## Biography
- Education: Ph.D. in computer science and computer engineering from the University of Washington (2006); academic thesis titled "Automatically Proving the Correctness of Program Analyses and Transformations".
- Known for: His work as a computer scientist and his academic contributions, including his doctoral research and role as a doctoral advisor.
- Field(s): Computer science, computer engineering

## Contributions
Sorin Lerner's primary contributions stem from his academic work in computer science. His doctoral research culminated in his Ph.D. thesis, "Automatically Proving the Correctness of Program Analyses and Transformations," completed at the University of Washington in 2006. This work represents a specific contribution to the field by addressing methods for verifying the accuracy and reliability of software analysis and transformation techniques. Beyond his own research, Lerner has also contributed to the academic community through his role as a doctoral advisor. He advised the doctoral studies of Ross Tate and Zachary Tatlock, both of whom went on to become computer scientists and university teachers. This mentorship signifies a direct contribution to the development and education of future researchers in computer science, extending his influence through his students' work.

## FAQs
### Q: What is Sorin Lerner's primary academic achievement?
A: Sorin Lerner earned his Ph.D. in computer science and computer engineering from the University of Washington in 2006. His doctoral thesis was titled "Automatically Proving the Correctness of Program Analyses and Transformations."

### Q: Who was Sorin Lerner's doctoral advisor?
A: Sorin Lerner's doctoral advisor was Craig Chambers, an American computer scientist and university teacher.

### Q: Who were Sorin Lerner's doctoral students?
A: Sorin Lerner advised the doctoral studies of Ross Tate and Zachary Tatlock, both of whom are computer scientists and university teachers.

### Q: What was the title of Sorin Lerner's Ph.D. thesis?
A: Sorin Lerner's Ph.D. thesis was titled "Automatically Proving the Correctness of Program Analyses and Transformations."

## Why They Matter
Sorin Lerner matters in the field of computer science primarily through his academic contributions and his role in fostering new talent. His doctoral research on "Automatically Proving the Correctness of Program Analyses and Transformations" addressed a fundamental challenge in software development: ensuring the reliability and accuracy of automated code analysis and modification. This work contributes to the theoretical underpinnings and practical applications of program verification, which is crucial for building robust and secure software systems. Furthermore, his influence extends through his role as a doctoral advisor to computer scientists like Ross Tate and Zachary Tatlock. By guiding the next generation of researchers, Lerner has played a part in shaping future advancements and academic discourse in computer science, ensuring a continued legacy of intellectual contribution to the field.

## Notable For
*   Earning a Ph.D. in computer science and computer engineering from the University of Washington in 2006.
*   His doctoral thesis, "Automatically Proving the Correctness of Program Analyses and Transformations."
*   Serving as a doctoral advisor to computer scientists Ross Tate and Zachary Tatlock.
*   His occupation as a computer scientist.

## Body

### Personal Details
*   **Name**: Sorin Lerner
*   **Sex**: Male
*   **Spouse**: Alana Iglewicz

### Education
*   **Doctorate**: University of Washington (2006)
    *   **Fields of Study**: Computer science, computer engineering
    *   **Academic Thesis**: "Automatically Proving the Correctness of Program Analyses and Transformations"
    *   **Doctoral Advisor**: Craig Chambers

### Occupation
*   **Primary Occupation**: Computer scientist

### Academic Lineage
*   **Doctoral Advisor**: Craig Chambers
*   **Doctoral Students**:
    *   Ross Tate
    *   Zachary Tatlock

### Identifiers
*   **Mathematics Genealogy Project ID**: 66244
*   **MR Author ID**: 749466

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Sorin Lerner",
  "jobTitle": "computer scientist",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Washington"
    }
  ],
  "knowsAbout": [
    "computer science",
    "computer engineering"
  ],
  "description": "Ph.D. University of Washington 2006",
  "gender": "male"
}

## References

1. [Source](https://www.wbfuneralhome.com/obituary/6001338)
2. WorldCat
3. Mathematics Genealogy Project