I am an Assistant Professor of Computing and Mathematics at HKUST, where I am fortunate to lead the ALPACAS research group, consisting of an amazing team of talented young researchers.

I am interested in the broad areas of programming languages and formal verification and work on problems motivated by applications in probabilistic programming and blockchain systems (see my publications). I use tools from game theory, probability theory, real algebraic geometry and parameterized complexity to tackle diverse problems ranging from data-flow analysis and optimal cache management, to finding termination proofs and resource-usage bounds for probabilistic programs, or quantitatively verifying the security of smart contracts.

My research has won various awards and been supported by generous grants and fellowships, both academic and industrial, from the Hong Kong Research Grants Council (RGC), Kaisa, IBM, Facebook, the Austrian Academy of Sciences, and the Royal Commission for the Exhibition of 1851.

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 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. I study law English common law part-time as a hobby.

Research keywords: Verification, Programming Languages (PL), Static Analysis, Probabilistic Programs, Parameterized Algorithms, Blockchain, Smart Contracts