Amir Goharshady

[I am not on any social media]

Notes:

Recently, scammers are impersonating me and sending messages to colleagues around the world. Please ignore any message that claims to be from me but comes with invalid signatures, or form an email address other than the two above.
Oxford's spam filter is too strict and eager in marking messages. Please always cc my gmail address, too.

My name is Amir Kafshdar Goharshady (امیر کفشدار گوهرشادی). I always prefer to be called by my first name. I am an Associate Professor of Computer Science at Oxford and a Fellow of St Catherine's College (affectionately known as Catz). I am also fortunate to lead the ALPACAS research group, an amazing team of talented young mathematicians and computer scientists. My 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.

Google Sites

Report abuse