Hi! I am a first year PhD student of Computer Science at the National University of Singapore.
I broadly work in the field of Logic and Probabilistic Reasoning. I am currently working on verifying probabilistic programs.
Some stuff I have written.
|2019||August||Parity and Counting|
I work in the Meel Research Group. We are situated in the School of Computing in NUS.