Rajagopal Nagarajan
Original record- Institution
- Imperial College London
- Year
- 1998
- Country
- United Kingdom
- MGP identifier
- 128111
Dissertation: Typed Concurrent Programs: Specification & Verification
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Samson AbramskyUniversity of London · 1988
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Ebrahim Ardeshir-Larijani | University of Warwick | 2014 | 0 |
| Timothy Davidson | University of Warwick | 2011 | 0 |
| Lorenzo Gheri | Middlesex University | 2019 | 0 |
| Nikolaos Papanikolaou | Not recorded | — | 1 |
| Caroline Rogers | University of Warwick | 2007 | 0 |