Daniel Jackson
Original record- Institution
- Massachusetts Institute of Technology
- Year
- 1992
- Country
- United States
- MGP identifier
- 108273
Dissertation: Aspect: A Formal Specification Language for Detecting Bugs
Mathematics Subject Classification: 68—Computer science
Advisor 1
- John Vogel GuttagUniversity of Toronto · 1975
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Gregory David Dennis | Massachusetts Institute of Technology | 2010 | 0 |
| Sarfraz Khurshid | Massachusetts Institute of Technology | 2004 | 1 |
| Derek Rayside | Massachusetts Institute of Technology | 2010 | 3 |
| Emina Torlak | Massachusetts Institute of Technology | 2009 | 0 |