“Kuldeep

Kuldeep S. Meel

NUS Presidential Young Professor
Assistant Professor
School of Computing
National University of Singapore

CV: [pdf] | Research Statement: [pdf]
Teaching: [pdf] | Bio: [txt]


Research Group
Office: COM2-03-41
Email: meel@comp.nus.edu.sg
Twitter: @ksmeel
Tools: Github
Publications: [html] [pdf]
External: [Scholar] [DBLP]
  • Awards & Honors
  • Students
  • Publications
  • Selected (Recorded) Talks
  • News

New: PhD student, Priyanka Golia, is on the faculty job market. Her thesis work has been nominated for best paper award at DATE-23 and ICCAD-21.

Kuldeep Meel holds NUS Presidential Young Professorship in the School of Computing at the National University of Singapore. He is a receipient of 2019 NRF Fellowship for AI (accompanied with SGD 2.6 million funding), ACP 2022 Early Career Researcher Award, and was named AI's 10 to Watch by IEEE Intelligent Systems in 2020.

His research interests are at the intersection of formal methods and artificial intelligence. His research program's long-term vision is to advance automated reasoning techniques to enable computing to deal with increasingly uncertain real-world environments. Check out Research Statement and publications for more details.

Our research group is still growing. Check out Open Positions.

External Funding: National Research Foundation, AI Singapore, Grab NUS AI Lab, Microsoft Research Asia, Ministry of Education, Defense Service Organization

I am married to fellow computer science professor Suguman Bansal.

Awards and Honors

  • ACP Early Career Award, 2022 [Press1] [Press2]
  • IJCAI-22 Early Career Spotlight, 2022
  • AI's 10 to Watch by IEEE Intelligent Systems, 2020
  • 2019 NRF Fellowship for AI [Press]
  • Amazon Research Award, 2021
  • 2018 Ralph Budd Award for research in Engineering. This award, established in 1935, is given annually for the best doctoral thesis in the School of Engineering.
  • Honorable mention for 2018 ACP Doctoral Dissertation Award
  • IBM PhD Fellowship (2016-17)
  • Lodieska Stockbridge Vaughn Fellowship (2016-17), awarded to upto five students university wide whose record at Rice shows evidence of outstanding achievement and promise.
  • 2014 Outstanding Masters Thesis Award from the Vienna Center for Logic and Algorithms

Teaching Recognition

  • NUS Annual Teaching Excellence Award, 2022 ; Recent Student Feedback: [Spring-21] [Fall-21]
  • School of Computing Faculty Teaching Excellence Award, 2022 for Academic Year 20/21
  • School of Computing Faculty Teaching Excellence Award, 2021 for Academic Year 19/20

Research Paper Recognition

  • DATE-23 paper received Best Paper Award Nomination
  • PODS-21 paper selected as CACM Research Highlights, 2022 ACM SIGMOD Research Highlight and invited as "Best of PODS 2021" by ACM TODS.
  • ICCAD-21 paper received Best Paper Award Nomination (6 out of 121 papers)
  • CAV-20 Paper invited to FMSD issue dedicated to the best papers from CAV 2020
  • CP 2013 paper selected as one of the 25 papers across 25 years of CP anniversary volume (2019).
  • CP 2018 paper invited to IJCAI-19 Sister Conferences Best Paper Award Track
  • Best Student Paper Award, CP 2015

Software Recognition

  • Model Counting Competition
    • 2022: 1st place in Model Counting Track and Projected Model Counting Track
    • 2021: 2nd place in Model Counting Track
    • 2020: 1st place in Model Counting Track and Projected Model Counting Track
  • 2nd place in EDA Challenge 2021
  • 3rd place in SAT competition 2020

Students & Postdocs

Learn more at Group Website
  • PhD Students: Teodora Baluta (co-advised with Prateek Saxena); Bishwamittra Ghosh; Priyanka Golia (co-advised with Subhajit Roy ); Md Mohimenul Kabir; Zhanzhong Pang; Yash Pote; Arijit Shaw ; Yang Suwei; Jiong Yang
  • Post-docs: Dr. Paulius Dilkas; Dr. Gunjan Kumar; Dr. Yacine Izza; Dr. Anna Latour, Dr. Timothy van Bremen
  • Dr. Mate Soos, Senior Research Fellow (Jul -- Sep 2019; Mar -- June 2018)
  • Dr. Yong Lai, Research Fellow (Aug 2019-Aug 2020), now: Associate Professor at Jilin University
  • Dr. Vignesh Sivaraman, Research Fellow, (Sep 2020-Apr 2021), now: Assistant Professor at IIIT Hyderabad.
  • Alexis de Colnet, MComp@NUS (Graduated: Dec 2018); now a PhD student at Centre de Recherche en Informatique de Lens
  • Rahul Gupta, BTech+MTech@IITK ( co-advised with Subhajit Roy (IITK)
  • Shubham Sharma, BTech+MTech@IITK (Graduated: May 2019), co-advised with Subhajit Roy (IITK)
  • Delannoy Remi Christian, MComp@NUS, (Graduated: Dec 2019)
  • Lorenzo Ciampiconi, MS@Politecnico di Milano (Graduated: Dec 2019)

Publications

Full publication list, organized by
  • Research Topic
  • Year
  • Publication Type

Teaching

  • CS3243: Introduction to Artificial Intelligence (Fall 2020; Fall 2021)
  • CS 4244: Knowledge Representation and Reasoning (Spring 2021; Spring 2020; Spring 2019; Spring 2018)
  • CS 4269/5469: Fundamentals of Logic in Computer Science (Fall 2019)
  • CS 6283: Advanced Topics in Computer Science: Logic in AI (Fall 2018)

Service

  • Program Co-Chair: SAT 2022
  • Co-organizer:
    • Beyond Satisfiability at Simons's Institute Program on Satisfiability: Theory, Practice, and Beyond
    • (Co-chair) CP 2020 Doctoral Program
    • Workshop on Counting and Sampling (since 2020)
    • (Sponsorship Co-chair) KR 2021
    • 1st Workshop on Probabilistic Reasoning and Formal Methods
    • Indian SAT-SMT Winter School (since 2019).
  • Recent Program Committee: SAT-22 (Program Co-chair), PODS-24, ICML-23 (AC), CAV-23, SAT-23, IJCAI-23 (SPC), AISTATS-23 (AC), FMCAD-23, AAAI-23, FoSSaCS-23, AAAI-22 (SPC),FMCAD-22, IJCAI-22 (AC), CAV-22, NeurIPS-21 (AC), IJCAI-21 (SPC), AAAI-21 (SPC), FMCAD-21
  • Awarded Distinguished Program Committee Member for IJCAI 2018.

Selected Recorded Talks

  • Counting, Sampling, and Synthesis: The Quest for Scalability [slides] [video](@NUS)
  • Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning [slides] [video](@Wisconsin)
  • Approximate Counting and Sampling [slides] [video] (@Simons Institute)
  • The Rise of Approximate Model Counting: Beyond Classical Theory and Practice of SAT [slides] [video](@Simons Institute)

News

  • 19 January 2023

    Our paper on “Testing Horn Samplers” is accepted to AISTATS-23. The paper is co-authored with Anshuman Banerjee, Sourav Chakraborty, Uddalok Sarkar, and Sayantan Sen.

  • 22 November 2022

    Our paper on synthesis with explicit dependencies is accepted to DATE-23. The paper also received Best Paper Award Candidate nomination. Co-authored with Priyanka Golia and Subhajit Roy. Priyanka is on on academic job market.

  • 18 November 2022

    Two papers accepted to AAAI-23. The first paper, co-authored with Pavan Aduri, N.V. Vinodchandran, and Arnab Bhattacharyya, focuses on constraint optimization over semirings. The second paper, co-authored with Yong Lai and Roland Yap, focuses on fast converging model counting.

  • 14 September 2022

    Our work on testing of samplers is accepted to NeurIPS-22. Joint work with Yash Pote.

All news…

Recent: MeelGroup Wins Model Counting Competition
Profile: Kuldeep Meel: The New CS Professor
Old Profile: Kuldeep Meel: High-Risk, High-Reward Research