# Stuart Pernsteiner

> PhD, University of Washington, Computer Science & Engineering, 2018

**Wikidata**: [Q113667751](https://www.wikidata.org/wiki/Q113667751)  
**Source**: https://4ort.xyz/entity/stuart-pernsteiner

## Summary
Stuart Pernsteiner is a computer scientist who received a PhD in Computer Science & Engineering from the University of Washington in 2018. His doctoral research culminated in a thesis titled "Practical Verification of Safety-critical Systems."

## Biography
- Education: PhD, University of Washington, Computer Science & Engineering, 2018
- Known for: Doctoral thesis "Practical Verification of Safety-critical Systems"
- Field(s): Computer Science, Computer Engineering

## Contributions
Stuart Pernsteiner's primary documented contribution is his doctoral research and thesis, "Practical Verification of Safety-critical Systems," completed in 2018 at the University of Washington. This work, conducted under the guidance of doctoral advisors Zachary Tatlock and Michael D. Ernst, represents a significant academic output in the field of computer science. The focus on "practical verification" suggests an emphasis on developing methods and tools that can be effectively applied to real-world safety-critical systems, which are crucial in areas like aerospace, automotive, and medical devices. His thesis contributes to the rigorous assurance of system correctness and reliability, aiming to prevent failures in systems where errors could have severe consequences. This academic contribution lays foundational knowledge for future advancements in software reliability and formal methods.

## FAQs
### Q: Who is Stuart Pernsteiner?
A: Stuart Pernsteiner is a computer scientist who earned a PhD in Computer Science & Engineering from the University of Washington in 2018.

### Q: What is Stuart Pernsteiner known for?
A: Stuart Pernsteiner is known for his doctoral thesis, "Practical Verification of Safety-critical Systems," which he completed at the University of Washington.

### Q: Where did Stuart Pernsteiner receive his education?
A: Stuart Pernsteiner received his PhD in Computer Science & Engineering from the University of Washington.

### Q: When did Stuart Pernsteiner earn his PhD?
A: Stuart Pernsteiner earned his PhD in 2018.

### Q: Who were Stuart Pernsteiner's doctoral advisors?
A: Stuart Pernsteiner's doctoral advisors were Zachary Tatlock and Michael D. Ernst.

## Why They Matter
Stuart Pernsteiner's work, particularly his doctoral thesis on "Practical Verification of Safety-critical Systems," holds significance for its contribution to the reliability and safety of complex software and hardware systems. In an increasingly interconnected world where critical infrastructure, transportation, and medical devices rely heavily on computer systems, ensuring their correct and safe operation is paramount. Pernsteiner's research contributes to the methodologies and techniques used to formally verify that these systems behave as intended, thereby reducing the risk of catastrophic failures. His academic output, guided by prominent computer scientists, helps advance the field of formal methods and software engineering. This work provides a foundation for developing more robust and trustworthy systems, influencing future research and practical applications in industries where safety is non-negotiable.

## Notable For
*   Earning a PhD in Computer Science & Engineering from the University of Washington in 2018.
*   Authoring the doctoral thesis "Practical Verification of Safety-critical Systems."
*   Being a student of distinguished computer scientists Zachary Tatlock and Michael D. Ernst.

## Body

### Education and Academic Career
Stuart Pernsteiner completed his doctoral studies at the University of Washington, earning a PhD in Computer Science & Engineering in 2018. His academic pursuits focused on areas within computer science and computer engineering.

### Doctoral Research
His doctoral work culminated in a thesis titled "Practical Verification of Safety-critical Systems." This research was conducted under the supervision of two prominent computer scientists, Zachary Tatlock and Michael D. Ernst, who served as his doctoral advisors. The thesis addresses the critical area of ensuring the reliability and safety of systems where failures could have severe consequences.

### Academic Affiliations
During his time at the University of Washington, Stuart Pernsteiner was a student of Zachary Tatlock and Michael D. Ernst, both recognized computer scientists at the institution.

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Stuart Pernsteiner",
  "jobTitle": "computer scientist",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Washington"
    }
  ],
  "knowsAbout": [
    "computer science",
    "computer engineering"
  ],
  "description": "PhD, University of Washington, Computer Science & Engineering, 2018"
}

## References

1. WorldCat