Dilian Borissov Gurov
Original record- Institution
- University of Victoria
- Year
- 1998
- Country
- Canada
- MGP identifier
- 72046
Dissertation: Specification and Verification of Communicating Systems with Value Passing
Advisors 2
- Bruce M. KapronUniversity of Toronto · 1991
- Hausi A. MullerRice University · 1986
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Irem Aktug | Kungliga Tekniska Högskolan (KTH) | 2008 | 0 |
| Pedro de Carvalho Gomes | Kungliga Tekniska Högskolan (KTH) | 2015 | 0 |
| Christian Lidström | Kungliga Tekniska Högskolan (KTH) | 2024 | 0 |
| Siavash Soleimanifard | Kungliga Tekniska Högskolan (KTH) | 2014 | 0 |