I am a lecturer in computer science at the University of Sussex.
Until September 2024 I was a post-doc with
Sam Staton at the University of Oxford.
Previously I was a post-doc at the University of Edinburgh working with
Ohad Kammar
as part of the grant
Effectful theories of programming languages:
models, abstractions, validation.
Before that I was a PhD student under
Marcelo Fiore
at the University of Cambridge.