Cormac Flanagan
Original record- Institution
- Rice University
- Year
- 1997
- Country
- United States
- MGP identifier
- 113749
Dissertation: Compositional Set-based Analysis for Static Debugging
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Matthias FelleisenIndiana University · 1987
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Thomas Austin | University of California, Santa Cruz | 2013 | 0 |
| Tim Disney | University of California, Santa Cruz | 2015 | 0 |
| Kenneth Knowles | University of California, Santa Cruz | 2014 | 0 |
| Dustin Rhodes | University of California, Santa Cruz | 2018 | 0 |
| Thomas Schmitz | University of California, Santa Cruz | 2019 | 0 |
| Christopher Schuster | University of California, Santa Cruz | 2018 | 0 |
| Aaron Tomb | University of California, Santa Cruz | 2011 | 0 |
| Jaeheon Yi | University of California, Santa Cruz | 2011 | 0 |