Overview

Self portrait

I’m an Applied Scientist with the Automated Reasoning Group at Amazon Web Services, based in London, United Kingdom.

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. My full resume is available here.

If you’d like to explore internship opportunities, potential collaborations, or simply connect, please don’t hesitate to reach out.

News