Zachary Tatlock
Original record- Institution
- University of California, San Diego
- Year
- 2013
- Country
- United States
- MGP identifier
- 180839
Dissertation: Extensibility and Modularity for Formally Verified Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Sorin LernerUniversity of Washington · 2006
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Steven Lyubomirsky | University of Washington | 2022 | 0 |
| Eric Mullen | University of Washington | 2018 | 0 |
| Chandrakana Nandi | University of Washington | 2021 | 0 |
| Pavel Panchekha | University of Washington | 2019 | 0 |
| Stuart Pernsteiner | University of Washington | 2018 | 0 |
| Jared Roesch | University of Washington | 2020 | 0 |
| Konstantin Weitz | University of Washington | 2017 | 0 |
| James Wilcox | Not recorded | 2021 | 0 |
| Douglas Woos | University of Washington | 2019 | 0 |
| William Zorn | Not recorded | 2021 | 0 |