| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 29 Jan 2024 04:04:15 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"65b723bf-995"
expires: Tue, 30 Dec 2025 17:28:46 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 8319:21D6A4:A69267:BADEB8:69540976
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 17:18:47 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210071-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767115127.835821,VS0,VE229
vary: Accept-Encoding
x-fastly-request-id: c0dddaad042d66955b8e129c910c581a96f12812
content-length: 1238
Zhendong Ang
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