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

SAT

Constraint Solving

Probabilistic Reasoning

Publications

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

Posts

Some stuff I have written.

Year Month Title
2019 August Parity and Counting

Collaborators

Research Group

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


Theme