I am currently a post-doc with
Sam Staton.
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.