# Eric Alexander Mullen

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

**Wikidata**: [Q113667744](https://www.wikidata.org/wiki/Q113667744)  
**Source**: https://4ort.xyz/entity/eric-alexander-mullen

## Summary  
Eric Alexander Mullen is a computer scientist known for his work in compiler verification. He earned his doctorate in Computer Science & Engineering from the University of Washington in 2018, where he was advised by Zachary Tatlock and Daniel Grossman.

## Biography  
- **Born**: Unknown date and place  
- **Nationality**: Unknown  
- **Education**:  
  - Doctorate in Computer Science & Engineering, University of Washington, 2018  
- **Known for**: Advancing compiler verification techniques through doctoral research  
- **Employer(s)**: Not specified  
- **Field(s)**: Computer Science, Compiler Design  

## Contributions  
Eric Alexander Mullen's primary contribution lies in the domain of compiler verification. His doctoral thesis, titled *Pushing the Limits of Compiler Verification*, represents a significant effort in ensuring correctness and reliability in compilers—programs critical to translating high-level programming languages into executable machine code. While specific publications or follow-up implementations are not detailed in the source material, his academic work underpins ongoing efforts in formal methods and verified software systems. The research conducted during his PhD contributes to broader initiatives aimed at making software development more secure and error-resistant by applying rigorous mathematical proofs to compilation processes.

## FAQs  
### Q: Who is Eric Alexander Mullen?  
A: Eric Alexander Mullen is a computer scientist who completed his PhD at the University of Washington in 2018 with a focus on compiler verification.  

### Q: What did Eric Alexander Mullen study?  
A: He studied Computer Science & Engineering, specializing in compiler verification during his doctoral program.  

### Q: Who were Eric Alexander Mullen’s advisors?  
A: His doctoral advisors were Zachary Tatlock and Daniel Grossman, both prominent figures in computer science academia.  

## Why They Matter  
Eric Alexander Mullen's work in compiler verification plays a foundational role in advancing reliable software infrastructure. Compilers are essential tools that translate human-readable code into instructions machines can execute; verifying their correctness helps prevent bugs and vulnerabilities at the system level. By pushing the boundaries of how such tools can be formally verified, Mullen supports progress toward safer and more trustworthy computing environments. His research builds upon and extends methodologies used in formal verification, influencing future developments in programming language design and implementation. Though direct industry applications may not yet be cited, his academic contributions help shape next-generation approaches to software correctness.

## Notable For  
- Completing a PhD focused on compiler verification at the University of Washington in 2018  
- Working under advisors Zachary Tatlock and Daniel Grossman  
- Authoring the doctoral thesis titled *Pushing the Limits of Compiler Verification*  

## Body  
### Academic Background  
Eric Alexander Mullen pursued graduate studies in Computer Science & Engineering at the University of Washington, completing his doctorate in 2018. His dissertation centered around compiler verification—a field concerned with mathematically proving the correctness of compilers.

### Advisors and Institutional Affiliation  
Mullen was supervised by two well-known academics:
- Zachary Tatlock – computer scientist and academic
- Daniel Grossman – computer scientist and academic

Both advisors are affiliated with the University of Washington and specialize in areas overlapping with formal verification and programming languages.

### Thesis Work  
His doctoral thesis, titled *Pushing the Limits of Compiler Verification*, reflects an intensive exploration of enhancing the rigor and applicability of formal methods within compiler construction. This kind of research is vital for improving trustworthiness in low-level software systems.

### Recognition and Projects  
He is listed as part of the WikiProject PCC Wikidata Pilot/University of Washington initiative, suggesting recognition within scholarly data management circles related to institutional knowledge representation.

```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Eric Alexander Mullen",
  "jobTitle": "Computer Scientist",
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Washington"
    }
  ],
  "knowsAbout": ["Compiler Verification", "Formal Methods", "Programming Languages"],
  "description": "Doctoral researcher in Computer Science & Engineering at the University of Washington, focusing on compiler verification."
}

## References

1. WorldCat