Overview

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.

If you’d like to get in touch or explore potential collaborations, you can reach me by email or connect on LinkedIn. My publications are available on Google Scholar.