Olivia Weston
Surobaki
Logic & type theory researcher at University of Glasgow specialising in Programming Language Theory and behavioural types.
University of Glasgow United Kingdom
8000