Viktor Vafeiadis
Original record- Institution
- University of Cambridge
- Year
- 2007
- Country
- United Kingdom
- MGP identifier
- 197918
Dissertation: Modular fine-grained concurrency verification
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Matthew John ParkinsonUniversity of Cambridge · 2005
- Alan MycroftThe University of Edinburgh · 1982
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Soham Sundar Chakraborty | Not recorded | — | 0 |
| Marko Doko | Not recorded | — | 0 |
| Michail Kokologiannakis | Not recorded | — | 0 |