avatar

Ahmed K. Zaher أحمد خالد زاهر

Graduate student
HKUST
akazaher@cse.ust.hk


Hey there!

I am a PhD student at the ALPACAS research group at HKUST, where I am happy to be co-supervised by Amir Goharshady and Jiasi Shen.

I am broadly interested in Algorithms, Complexity, Automata, Logic, and Games, as well as their applications in Formal Methods. One theme that I am actively working on is the use of Parameterized Algorithms and Complexity to solve problems in Compiler Optimization and Program Analysis.

My research is funded by the Hong Kong PhD Fellowship Scheme.

Publications

Handala

Last updated on: 16 September 2025