More Publications

. Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting . In Proceedings of International Conference on Constraint Programming (CP)., 2018.

PDF Slides

. MLIC: A MaxSAT-Based framework for learning interpretable classification rules. In Proceedings of International Conference on Constraint Programming (CP), 2018.

PDF Code Slides

. Network Reliability Estimation in Theory and Practice . Submitted to Reliability Engineering and System Safety, 2018.


. Scalable Approximation of Quantitative Information Flow in Programs. In Proceedings of International Conference on Verification, Model Checking, and Abstract Interpretation, 2018.

PDF Slides

. On Hashing-Based Approaches to Approximate DNF-Counting . In Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017.

PDF Slides

. Constrained Counting and Sampling: Bridging the Gap between Theory and Practice . PhD Thesis, Rice University, 2017.



  • 24 September 2018

    Our paper on uniform sampling based on knowledge compilation is accepted at LPAR-22. Authors: Shubham Sharma, Rahul Gupta, Subhajit Roy, and Kuldeep S. Meel

    29 August 2018

    Kuldeep's PhD thesis was awarded Honorable mention for ACP (Association of Constraint Programming) Doctoral Dissertation award at its annual conference CP 2018.

    12 August 2018

    We will be presenting three papers at CP 2018. The first talk on network reliability is on Monday 27th Aug while the second talk on FPRAS for DNF is on Wed, 29th Aug. The third talk on interpretable classification rules is on Thursday, 30th Aug.

    8 August 2018

    Kuldeep Meel has been appointed Sung Kah Kay Assistant Professor

    30 July 2018

    Bhavishya finished a successful summer internship and will be returning to IIT Kanpur for his third year.

    23 July 2018

    Yash Pote has joined as a Research assistant. Welcome Yash!



Kuldeep Kuldeep Meel

PhD Students

Masters Students

Research Assistant

Yash Yash Pote
Mahi Mohimenul Kabir



Past visitors


Kuldeep S. Meel
Assistant Professor
Computer Science Department, School of Computing
National University of Singapore

Please consult Kuldeep’s calendar before suggesting a meeting time.


We are looking for highly motivated Ph.D. students, postdocs, and interns (with time commitment of at least 6 months) in our group.
Two post-doc positions available in the broad area of applying machine learning to SAT solvers, approximate counting techniques, and CP.

  • If you are a student at NUS, feel free to drop by Kuldeep’s office or schedule a meeting with him. (See his calendar).
  • Otherwise, please send him an email with your CV if you are interested. If you are looking for an internship/postdoc, make sure your subject contains the word “olleh” and you should include reviews of two of our group’s papers (published in the previous 3 years). The reviews should be in the body of the email (and not as pdf). Furthermore, the body of your email should contain the phrase: “Here are two papers that I have reviewed”. A strong background in statistics, algorithms/formal methods and prior experience in coding is crucial to make a significant contribution to our research.