COM2-03-41
651 61422

www.comp.nus.edu.sg/~meel

Kuldeep S. MEEL

Associate Professor

  • Ph.D. (Computer Science, Rice University, Sep 2017)
  • M.S. (Computer Science, Rice University, May 2014)
  • B.Tech. (Computer Science & Engineering, Indian Institute of Technology, Bombay, Aug 2012)

Dr. Kuldeep Meel is an Assistant Professor of Computer Science in School of Computing at the National University of Singapore. He received his Ph.D. (2017) and M.S. (2014) degree in Computer Science (Artificial Intelligence and Formal Methods) from Rice University. He holds B. Tech. (with Honors) degree (2012) in Computer Science and Engineering from Indian Institute of Technology, Bombay. Dr. Meel's research interests lie at the intersection of Artificial Intelligence and Formal Methods. The broader goal of his research is to advance artificial intelligence techniques, which utilize ubiquity of data and formal methods, to enable computing to deal with increasingly uncertain real-world environments. Besides his primary research program, Meel has worked on other applications of data science and constrained reasoning including interpretable classification rules, hardware verification, validation of distributed synchronization protocol, automatic data layout generation, program synthesis, and probabilistic programming. Dr. Meel has co-presented tutorials at top-tier AI conferences, UAI 2016 and AAAI 2017. His work received the 2014 Outstanding Masters Thesis Award from Vienna Center of Logic and Algorithms and Best Student Paper Award at CP 2015. He received the IBM Ph.D. Fellowship and the Lodieska Stockbridge Vaughn Fellowship for his work on constrained sampling and counting.

RESEARCH INTERESTS

  • Constrained Counting and Sampling

  • Verification of AI Systems

  • Interpretable Decision Making

  • Probabilistic Reasoning

  • SAT

  • Knowledge Representation and Reasoning

RESEARCH PROJECTS

RESEARCH GROUPS

TEACHING INNOVATIONS

SELECTED PUBLICATIONS

  • Proceedings of International Joint Conference on Artificial Intelligence IJCAI, 2017.
  • Proceedings of AAAI Conference on Artificial Intelligence AAAI, 2017.
  • Proceedings of International Joint Conference on Artificial Intelligence IJCAI, 2016.
  • Best Student Paper Award
  • Proceedings of AAAI Conference on Artificial Intelligence AAAI, 2014.

AWARDS & HONOURS

  • Lodieska Stockbridge Vaughn Fellowship (2016-17), awarded to up to five students university wide whose record at Rice shows evidence of outstanding achievement and promise.

  • IBM PhD Fellowship (2016-17)

  • 2014 Outstanding Masters Thesis Award from the Vienna Center for Logic and Algorithms

  • Best Student Paper Award, 21st International Conference on Principles and Practice of Constraint Programming (CP-2015)

  • Andrew Ladd Memorial Excellence in Computer Science Fellowship (2013-14)

  • Heidelberg Laureate Forum 2015 Invitee

MODULES TAUGHT

 

In the News

2023-computer-aided-verification-distinguished-paper-award-kmeel
10 August 2023
10 Aug 2023 — NUS Presidential Young Professor Kuldeep S. Meel and PhD student Jiong Yang won the Distinguished Paper ...
23 September 2021
23 September 2021 – Assistant Professor Kuldeep Meel and his research collaborators, Dr Mate Soos and Nicholas Prevot, have won the Spring ...
5 February 2021
5 February 2021 – Twenty-two research papers by NUS Computing faculty and students are featured in the 35th AAAI Conference on ...
12 January 2021
12 January 2021 – Dr Kuldeep S. Meel has been named one of ‘AI’s 10 to Watch’ by the IEEE (Institute of Electrical ...

Knowledge@Computing

27 March 2023
When Covid-19 came barrelling through the world, it upended nearly every aspect of our lives, forcing us to live, work, ...