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!
London · 15 Nov 2023
London · 8 Nov 2023
London · 3 Nov 2023
London · 16 Oct 2023