Amir K. Goharshady

Assistant Professor

Department of Computer Science and Engineering

Department of Mathematics

Hong Kong University of Science and Technology (HKUST)

CYT 3006, HKUST, Clear Water Bay, Hong Kong 

Email: goharshady@[cse.ust.hk, gmail.com]

Profiles: dblp, google scholar, orcid, youtube channel

[I am not on any social media]

I am an Assistant Professor of Computing and Mathematics at HKUST, fortunate to lead the ALPACAS research group, an amazing team of talented young researchers. As a theoretical computer scientist, I am mainly interested in the broad areas of programming languages and formal verification.

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 under the excellent supervision of Prof. Krishnendu Chatterjee. 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 London and Yazd.

These days, I study English common law as a hobby and am particularly interested in contract law. I am also actively involved in the Sundar STEM School initiative. We are creating Pakistan's first Informatics Olympiad and sending a team to IOI 2024. Finally, I am honoured to be a visiting professor at the Indian Institute of Technology Bombay