About Me

My name is Zhendong Ang. I am a PhD student in the School of Computing at the National University of Singapore, where I am fortunate to be advised by Prof. Umang Mathur. My research interests include formal methods, dynamic analysis, and automata theory.


[POPL'24] Predictive Monitoring against Pattern Regular Languages

Zhendong Ang, Umang Mathur