About Me

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.

Research Interests


Property Testing

Probabilistic Reasoning


  1. Yash Pote, Saurabh Joshi, Kuldeep S. Meel: Phase Transition Behaviour of Cardinality and XOR Constraints (IJCAI-19) abstract,cite,slides

  2. Kuldeep S. Meel ® Yash Pote ® Sourav Chakraborty: On Testing of Samplers (NeuRIPS-20) abstract,cite


Some stuff I have written.

Year Title Relvant Papers
2019 Phase Transitions and Counting [1], a, b
2020 Testing Probabilistic Programs [2], c


Research Group

I work in the Meel Research Group. We are situated in the School of Computing in NUS.