Publications

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.

PDF

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

PDF

. 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

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

PDF

People

Faculty

Kuldeep Kuldeep Meel

Postdocs

Mate Mate Soos

PhD Students

Mate Bishwamittra Ghosh

Masters Students

Shubham Shubham Sharma
Rahul Rahul Gupta
Alexis Alexis de Colnet

Undergraduates

Bhavishya Bhavishya
Andre Andre
Suwei Suwei

Past visitors

Contact

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

Please consult my calendar before suggesting a meeting time.

Openings

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.