Professor
Computer Science Research Group
Gran Sasso Science Institute
L'Aquila, Italy
Other Affiliations:
amir.goharshady@gssi.it
amir.goharshady@cs.ox.ac.uk
goharshady@gmail.com (preferred)
https://www.youtube.com/@Goharshady
[I am not on any social media]
I am a Professor of Computer Science at the Gran Sasso Science Institute (GSSI), a superior graduate school (Scuola Superiore Universitaria) in the lovely Abruzzo region of Italy.
I am fortunate to lead the ALPACAS research group, an amazing team of talented young mathematicians and computer scientists. We are interested 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 earned my PhD in Theoretical Computer Science at the Institute of Science and Technology Austria, where I was highly privileged to be supervised by Professor Krishnendu Chatterjee. I also have an MSc in Computer Science (Systems) from Georgia Tech and completed my undergraduate studies in math and computing at the Universities of Yazd and London.
In addition to my role at GSSI, I serve as a member of the Department of Computer Science at the University of Oxford and the Faculty of Mathematical Sciences at the Ferdowsi University of Mashhad, as well as a Visiting Professor of Computer Science at IIT Bombay. Additionally, I am an advisor to the Sundar STEM school, where I helped establish the Pakistani Informatics Olympiad and train the first batches of IOI medalists from Pakistan. Previously, I was an Associate Professor of Computer Science at Oxford and a Fellow of St Catherine's College. Prior to that, I used to be an Assistant Professor of Computing and Mathematics at HKUST.