Adam James Chlipala
Original record- Institution
- University of California, Berkeley
- Year
- 2007
- Country
- United States
- MGP identifier
- 125475
Dissertation: Implementing Certified Programming Language Tools in Dependent Type Theory
Mathematics Subject Classification: 68—Computer science
Advisor 1
- George Ciprian NeculaCarnegie Mellon University · 1998
Students 10
| Name | Institution | Year | Students |
|---|---|---|---|
| Thomas Bourgeat | Massachusetts Institute of Technology | 2023 | 0 |
| Joonwon Choi | Massachusetts Institute of Technology | 2021 | 0 |
| Andres Erbsen | Massachusetts Institute of Technology | 2023 | 0 |
| Jason Saul Gross | Massachusetts Institute of Technology | 2021 | 0 |
| Samuel Gruetter | Massachusetts Institute of Technology | 2025 | 0 |
| Mirai Ikebuchi | Massachusetts Institute of Technology | 2022 | 0 |
| Gregory Malecha | Harvard University | 2014 | 0 |
| Clément Pit-Claudel | Massachusetts Institute of Technology | 2022 | 0 |
| Muralidaran Vijayaraghavan | Massachusetts Institute of Technology | 2016 | 0 |
| Peng Wang | Massachusetts Institute of Technology | 2019 | 0 |