Neil Thomas Dantam
Original record- Institution
- Georgia Institute of Technology
- Year
- 2014
- Country
- United States
- MGP identifier
- 194623
Dissertation: A Linguistic Method for Robot Verification, Programming, and Control
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Michael S. ShtilʹmanCarnegie Mellon University · 2007
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Sihui Li | Colorado School of Mines | 2024 | 0 |