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.