I am a backend software engineer at Monzo Bank.
I used to research on programming languages and concurrency, and particularly on a type formalism for structured communication-based programming called session types.
See my research page for details.