# Tom Bergan

> Ph.D. University of Washington 2014

**Wikidata**: [Q102426829](https://www.wikidata.org/wiki/Q102426829)  
**Source**: https://4ort.xyz/entity/tom-bergan

## Summary
Tom Bergan is a computer scientist who earned his Ph.D. from the University of Washington in 2014. His doctoral research focused on avoiding state-space explosion in multithreaded programs through input-covering schedules and symbolic execution techniques.

## Biography
- Born: 1983
- Nationality: Not specified in source material
- Education: Ph.D. in Computer Science/Computer Engineering, University of Washington (2014)
- Known for: Research on program verification and concurrency issues
- Employer(s): Not specified in source material
- Field(s): Computer science

## Contributions
Tom Bergan completed his doctoral research with the thesis "Avoiding State-space Explosion in Multithreaded Programs with Input-covering Schedules and Symbolic Execution" in 2014 at the University of Washington. His work addresses the challenges of analyzing concurrent programs, which are particularly prone to state-space explosion due to their complex interaction patterns. The research likely contributed to improved techniques for verifying the correctness of multithreaded software by developing methods to manage the exponential growth of possible program states during analysis.

## FAQs
### Q: Who advised Tom Bergan during his Ph.D.?
A: Tom Bergan was advised by both Luis Ceze and Daniel Grossman during his doctoral studies at the University of Washington.

### Q: What was the focus of Tom Bergan's doctoral research?
A: His research focused on avoiding state-space explosion in multithreaded programs using input-covering schedules and symbolic execution techniques.

### Q: Where did Tom Bergan complete his Ph.D.?
A: Tom Bergan completed his Ph.D. at the University of Washington in 2014, with his thesis in computer science and computer engineering.

## Why They Matter
Tom Bergan's research on multithreaded program verification contributes to improving software reliability in an increasingly concurrent computing landscape. His work under the guidance of prominent computer scientists Luis Ceze and Daniel Grossman represents important contributions to the field of program analysis. By developing techniques to manage state-space explosion, his research helps make it feasible to verify the correctness of complex concurrent systems, which is crucial for developing reliable software in modern computing environments.

## Notable For
- Earning a Ph.D. from the University of Washington in 2014
- Completing doctoral research on concurrent program verification
- Being advised by prominent computer scientists Luis Ceze and Daniel Grossman
- Having a Mathematics Genealogy Project ID (187055)
- Being included in the WikiProject PCC Wikidata Pilot for University of Washington

## Body
### Education
- Born in 1983
- Received doctorate degree from University of Washington in 2014
- Thesis titled "Avoiding State-space Explosion in Multithreaded Programs with Input-covering Schedules and Symbolic Execution"
- Mathematics Genealogy Project ID: 187055

### Academic Lineage
- Doctoral advisors: Luis Ceze and Daniel Grossman
- Luis Ceze is a researcher (born 1977) with occupations in computer science and university teaching
- Daniel Grossman is a computer scientist and academic (born 1975)
- Both advisors have connections to University of Washington

### Research Focus
- Specializes in computer science
- Research area includes program verification and concurrency
- Specifically focused on avoiding state-space explosion in multithreaded programs
- Utilizes input-covering schedules and symbolic execution techniques

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Tom Bergan",
  "jobTitle": "Computer Scientist",
  "nationality": "Not specified",
  "birthDate": "1983",
  "alumniOf": [{"@type": "EducationalOrganization", "name": "University of Washington"}],
  "knowsAbout": ["Computer Science", "Program Verification", "Concurrency"],
  "sameAs": ["https://www.wikidata.org/wiki/Q"],
  "description": "Computer scientist who earned his Ph.D. from the University of Washington in 2014 with research on avoiding state-space explosion in multithreaded programs"
}

## References

1. Mathematics Genealogy Project
2. WorldCat