Overview

I am an Applied Scientist with the Automated Reasoning Group at Amazon Web Services. I am also a Visiting Researcher at University College London.

I earned my PhD in Computer Science from University College London, in the Programming Principles, Logic, and Verification Group, under the supervision of Alexandra Silva. During my doctoral studies, I interned with the Hack team at Meta and with the Automated Reasoning Group at Amazon Web Services.

You can reach me via email or find me on LinkedIn, Google Scholar, and GitHub. My full CV is available here.