We have openings for PhD students starting in 2026-2027
Professor of Computer Science
Gran Sasso Science Institute
L'Aquila, Italy
Associate Professor of Computer Science
University of Oxford
Oxford, United Kingdom
Tutorial Fellow
St Catherine's College, University of Oxford
Oxford, United Kingdom
amir.goharshady@cs.ox.ac.uk, goharshady@gmail.com (preferred)
dblp, google scholar, orcid, youtube
[I am not on any social media]
My name is Amir Kafshdar Goharshady (امیر کفشدار گوهرشادی). I always prefer to be called by my first name, especially if you are a student sending me an email. I am an Associate Professor of Computer Science at Oxford and a Fellow of St Catherine's College. At the moment, I am in the process of moving to the Gran Sasso Science Institute.
I am fortunate to lead the ALPACAS research group, an amazing team of talented young mathematicians and computer scientists. Our research interests are in theoretical computer science, specifically formal program verification, parameterized algorithms, compiler optimization and blockchain.
My educational background is, unsurprisingly, at the intersection of Mathematics and Computer Science. I did my PhD in Theoretical Computer Science at the Institute of Science and Technology Austria, where I was highly privileged to be supervised by Prof. Krishnendu Chatterjee. I also have an MSc in Computer Science (Systems) from Georgia Tech and did my undergraduate studies in Math and Computing at the Universities of London and Yazd. Prior to joining Oxford, I was an Assistant Professor of Computing and Mathematics at HKUST. I am also a visiting professor at the Department of Computer Science and Engineering of the Indian Institute of Technology Bombay.