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.
Publication
[POPL'24] Predictive Monitoring against Pattern Regular Languages
Zhendong Ang, Umang Mathur
Teaching
- CS1010 Programming Methodology, Semester I, 2023-2024, Tutorial Instructor