About

I’m a first-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.