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 PhD thesis Canonical Algebraic Generators in Automata Learning is now available online.
  

  London · 8 Aug 2023

• I am attending the 35th International Conference on Computer Aided Verification (CAV) in Paris.
  

  London · 17 Jul 2023

• I gave a talk on Dafny in the Programming Principles, Logic, and Verification Seminar at University College London (UCL).
  

  London · 29 Jun 2023

• I gave a talk at the 10th Conference on Algebra and Coalgebra in Computer Science (CALCO).
  

  London · 21 Jun 2023