# Eric David Butler

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

**Wikidata**: [Q113667782](https://www.wikidata.org/wiki/Q113667782)  
**Source**: https://4ort.xyz/entity/eric-david-butler

## Summary
Eric David Butler is an American computer scientist who earned a PhD in Computer Science & Engineering from the University of Washington in 2019. His research focused on the automatic generation of procedural knowledge using program synthesis, conducted under the supervision of advisors Emina Torlak and Zoran Popovic.

## Biography
- Born: [date and place not provided]
- Nationality: United States
- Education: PhD, Computer Science & Engineering, University of Washington (2019)
- Known for: Research on automatic generation of procedural knowledge using program synthesis
- Employer(s): [Not provided]
- Field(s): Computer Science & Engineering

## Contributions
Eric David Butler completed a doctoral thesis titled "Automatic Generation of Procedural Knowledge Using Program Synthesis" at the University of Washington in 2019. This work represents a contribution to the field of program synthesis, which aims to automate the creation of computer programs. His research likely addresses how to generate procedural knowledge that can be automatically applied to solve computational problems, potentially reducing the manual coding effort required in software development. The completed PhD indicates a significant academic contribution to the intersection of artificial intelligence and software engineering, though specific publications or implementations resulting from this work are not detailed in the provided materials.

## FAQs
### Q: What is Eric David Butler's educational background?
A: Eric David Butler earned a PhD in Computer Science & Engineering from the University of Washington in 2019.

### Q: Who were Eric David Butler's doctoral advisors?
A: His doctoral advisors were Emina Torlak and Zoran Popovic, both computer scientists at the University of Washington.

### Q: What was the focus of Eric David Butler's doctoral research?
A: His research focused on the automatic generation of procedural knowledge using program synthesis, exploring methods to automatically create computational knowledge.

## Why They Matter
Eric David Butler's work in program synthesis contributes to the broader field of artificial intelligence and automated software development. By researching methods to automatically generate procedural knowledge, his work has implications for reducing the manual effort required in creating complex algorithms and systems. His PhD under established computer scientists Emina Torlak and Zoran Popovic positions his research within a significant academic lineage, potentially influencing future researchers in program synthesis and AI. While specific impacts of his thesis are not detailed in the provided materials, the completion of a PhD in this specialized area represents a meaningful contribution to advancing computational methods.

## Notable For
- Completed PhD in Computer Science & Engineering at University of Washington (2019)
- Thesis titled "Automatic Generation of Procedural Knowledge Using Program Synthesis"
- Doctoral research under supervision of computer scientists Emina Torlak and Zoran Popovic
- Contribution to the field of program synthesis and procedural knowledge generation

## Body
### Education
- PhD, Computer Science & Engineering, University of Washington (2019)

### Research
- Doctoral thesis: "Automatic Generation of Procedural Knowledge Using Program Synthesis"
- Research focus: Program synthesis and automatic generation of procedural knowledge
- Advisors: Emina Torlak and Zoran Popovic

### Academic Background
- The University of Washington appears to be his primary academic institution for doctoral studies
- No information provided on undergraduate education or other degrees
- His participation in WikiProject PCC Wikidata Pilot/University of Washington suggests some engagement with academic knowledge organization projects

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Eric David Butler",
  "jobTitle": "Computer scientist",
  "alumniOf": [{"@type": "EducationalOrganization", "name": "University of Washington"}],
  "knowsAbout": ["Computer Science", "Program Synthesis", "Procedural Knowledge"],
  "description": "Computer scientist with a PhD in Computer Science & Engineering from University of Washington (2019), known for research on automatic generation of procedural knowledge using program synthesis."
}

## References

1. WorldCat