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

[CPP'24] Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic

Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey

[CAV'24] Predictive Monitoring with Strong Trace Prefixes

Zhendong Ang, Umang Mathur

[LMPL'25] Ranking Formal Specifications using LLM

Mike He, Zhendong Ang, Ankush Desai, Aarti Gupta

Teaching