About
I’m a second-year PhD student in School of Computing at the National University of Singapore, where I am fortunate to be advised by Prof. Umang Mathur. I am broadly interested in program verification and logics.
| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 15 Dec 2025 06:00:45 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"693fa40d-1bf4"
expires: Tue, 30 Dec 2025 08:42:44 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 663F:36A0B4:9D6F1B:B0D0D9:69538E2B
accept-ranges: bytes
age: 0
date: Tue, 30 Dec 2025 08:32:44 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210064-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767083564.895596,VS0,VE234
vary: Accept-Encoding
x-fastly-request-id: 5226b585b0dfcd5b9cd2201025abaa4dd698310d
content-length: 2312
About - Zhou Zihan’s Homepage