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 have Amir Goharshady as my advisor. I am broadly interested in algorithms, formal verification, and programming languages. My current research focuses on using parameterized algorithms to efficiently solve problems in program analysis and model checking.

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

Publications