Gang Tan
Original record- Institution
- Princeton University
- Year
- 2005
- Country
- United States
- MGP identifier
- 92995
Dissertation: A Compositional Logic for Control Flow and its Application to Foundational Proof-Carrying Code
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Andrew Wilson AppelCarnegie Mellon University · 1985
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Siliang Li | Lehigh University | 2014 | 0 |
| Ben Niu | Lehigh University | 2015 | 0 |