# Todd Wademan Schiller

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

**Wikidata**: [Q113667703](https://www.wikidata.org/wiki/Q113667703)  
**Source**: https://4ort.xyz/entity/todd-wademan-schiller

## Summary
Todd Wademan Schiller is a computer scientist who earned his PhD in Computer Science & Engineering from the University of Washington in 2014. He is known for his work on reducing the usability barrier to specification and verification, under the supervision of Michael D. Ernst. His research focused on improving accessibility in formal methods for software development.

## Biography
- Born: [Not specified]
- Nationality: [Not specified]
- Education: PhD in Computer Science & Engineering, University of Washington (2014)
- Known for: Research on improving usability in formal specification and verification
- Employer(s): [Not specified]
- Field(s): Computer science, software engineering

## Contributions
Todd Wademan Schiller's doctoral work, titled *Reducing the Usability Barrier to Specification and Verification*, was supervised by Michael D. Ernst at the University of Washington. His research aimed to address challenges in formal methods by making them more accessible to developers. While specific contributions are not detailed in the provided material, his work aligns with broader efforts in the field to bridge the gap between formal verification techniques and practical software development. His thesis represents a key academic contribution to the intersection of computer science and software engineering.

## FAQs
### Q: What was Todd Wademan Schiller's academic focus?
A: Todd Wademan Schiller focused on reducing the usability barrier to specification and verification in software development, working under the supervision of Michael D. Ernst.

### Q: Where did Todd Wademan Schiller earn his PhD?
A: He earned his PhD in Computer Science & Engineering from the University of Washington in 2014.

### Q: What was the title of Todd Wademan Schiller's doctoral thesis?
A: His thesis was titled *Reducing the Usability Barrier to Specification and Verification*.

## Why They Matter
Todd Wademan Schiller's work contributes to the ongoing effort to make formal methods more practical for software developers. By addressing usability challenges, his research helps advance the adoption of rigorous verification techniques in industry. His thesis, while not extensively detailed in the provided material, reflects a critical academic perspective on improving the accessibility of formal methods, which could influence future tools and methodologies in software engineering.

## Notable For
- Authored a doctoral thesis on improving usability in formal specification and verification.
- Conducted research under the supervision of Michael D. Ernst at the University of Washington.
- Focused on bridging the gap between formal methods and practical software development.

## Body
### Education and Thesis
Todd Wademan Schiller completed his PhD in Computer Science & Engineering at the University of Washington in 2014. His doctoral work, supervised by Michael D. Ernst, centered on *Reducing the Usability Barrier to Specification and Verification*. The thesis explored methods to make formal verification more accessible to developers, addressing a key challenge in the adoption of rigorous software engineering practices.

### Research Focus
Schiller's research aimed to improve the usability of formal methods, which are essential for ensuring software correctness but often perceived as difficult to use. His work contributed to the broader field of software engineering by investigating ways to lower the barrier to entry for formal verification techniques.

### Academic Influence
As a student of Michael D. Ernst, a prominent computer scientist at the University of Washington, Schiller's work was part of a long tradition of research in formal methods and software engineering. His thesis represents a specific contribution to this academic discourse, though further details on its specific findings or impact are not provided in the available material.

## References

1. WorldCat