More Publications

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

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

. 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.


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




Kuldeep Kuldeep Meel


PhD Students

Masters Students


Past visitors


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

Please consult my 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.

  • 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.