Overview

I am an Applied Scientist in the Automated Reasoning Group of Amazon Web Services working with and on the Dafny programming language. Before that, I was a PhD student in the Programming Principles, Logic, and Verification Group at University College London, where I was supervised by Alexandra Silva.

If you are interested in an internship, a collaboration, or just want to chat, feel free to get in touch!

News

• My paper VMC: a Dafny Library for Verified Monte Carlo Algorithms has been accepted at the Dafny workshop at POPL 24.
  

  London · 15 Nov 2023

• I published a post in the Dafny Blog.
  

  London · 8 Nov 2023

• I gave a talk on Dafny at the University of Birmingham.
  

  London · 3 Nov 2023

• I gave talks on Dafny at Cornell and Oxford University.
  

  London · 16 Oct 2023