Chris Martens
Original record- Institution
- Carnegie Mellon University
- Year
- 2015
- Country
- United States
- MGP identifier
- 204652
Dissertation: Programming Interactive Worlds with Linear Logic
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Karl Fredrick CraryCornell University · 1998
- Frank PfenningCarnegie Mellon University · 1987
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Sasha Azad | North Carolina State University | 2024 | 0 |
| Markus Eger | North Carolina State University | 2018 | 0 |
| Abhijeet Krishnan | North Carolina State University | 2024 | 0 |