I am interested in the application of logic to computer science. Specifically, I work in formal methods where we model software as a mathematical objects and reason about code as we would math.

The ultimate aim is to develop correct and performant code, but as a side product we hope to achieve a better understanding of programming itself!

I am currently a first-year PhD student in Computer Science at Carnegie Mellon University. I am very grateful to be advised by Marijn Heule and Bryan Parno.

Prior to this, I was a research intern in Zhendong Su’s group at ETH Zürich. Before that, I finished a very joyous undergradute at the University of California, Berkeley studying Math, Computer Science, and Logic, where I was advised by Federico Mora and Sanjit A. Seshia.

Here is my CV. I’m very happy to chat about anything. Please reach out at amarshah@cmu.edu.