You can find more detailed information here.
Interests
- Programming languages
- Distributed type theory
- Communication-safe programming
Education
-
PhD in Computer Science, 2020
University of Glasgow
-
MSc in Computing Science, 2015
University of Glasgow
-
BSc in Computing Science, 2014
University of Glasgow