I am a Software Engineer in the Static Analysis Tools team at Meta in London. I am interested in finding bugs in programs, large and small, and sometimes proving them correct. I like formal verification techniques and semantics of programming languages, especially if they are compositional.
I did my PhD at ENS Cachan under the supervision of Étienne Lozes. After that I held post-doc positions at, successively, Queen Mary University London, University College London, and Imperial College London.