Teaching
I teach programming and theoretical computer science courses at both Catz and the CS department.

Research
I am broadly interested in mathematical foundations of computing. My primary research directions are in logic, model checking and automated program verification, but I often venture out into applied cryptography and algorithms, too. In the past few years, I have especially enjoyed working on problems in parametrised algorithms and blockchains.

About Me
My background is at the intersection of Mathematics and Computer Science. I did my PhD in Theoretical Computer Science at the Institute of Science and Technology Austria. I also have an MSc in Computer Science (Systems) from Georgia Tech and did my undergraduate studies in Maths and Computing at the Universities of Yazd and London. Prior to joining Oxford, I was an Assistant Professor of Computing and Mathematics at HKUST. My personal webpage is https://amir.goharshady.com/.