Dale Allen Miller
Original record- Institution
- Carnegie Mellon University
- Year
- 1983
- Country
- United States
- MGP identifier
- 59645
Dissertation: Proofs in Higher-Order Logic
Advisor 1
- Peter Bruce AndrewsPrinceton University · 1964
Students 22
| Name | Institution | Year | Students |
|---|---|---|---|
| Emilie Grienenberger | Université Paris-Saclay | 2025 | 0 |
| David Baelde | École Polytechnique | 2008 | 1 |
| Roberto Blanco Martínez | École Polytechnique | 2017 | 0 |
| Marc David Bumble | The Pennsylvania State University | 2001 | 0 |
| Hichem Zakaria Chihani | École Polytechnique | 2015 | 0 |
| Jawahar Lal Chirimar | University of Pennsylvania | 1995 | 0 |
| Olivier Delande | École Polytechnique | 2009 | 0 |
| Amy Felty | University of Pennsylvania | 1989 | 1 |
| Ivan Gazeau | École Polytechnique | 2013 | 0 |
| Ulysse Gérard | École Polytechnique | 2019 | 0 |
| Emilie Grienenberger | Not recorded | — | 0 |
| John Hannan | University of Pennsylvania | 1990 | 3 |
| Joshua Hodas | University of Pennsylvania | 1993 | 0 |
| Chuck Liang | University of Pennsylvania | 1995 | 0 |
| Matteo Manighetti | Not recorded | — | 0 |
| Raymond McDowell | University of Pennsylvania | 1997 | 0 |
| Gopalan Nadathur | University of Pennsylvania | 1986 | 4 |
| Vivek Nigam | École Polytechnique | 2009 | 0 |
| Elaine Pimentel | Universidade Federal de Minas Gerais | 2001 | 0 |
| Alexis Saurin | École Polytechnique | 2008 | 1 |
| Jérémie Wajs | The Pennsylvania State University | 2002 | 0 |
| Jui-Hsuan Wu | Not recorded | — | 0 |