Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Kuldeep Meel

Kuldeep S. Meel

Associate Professor
Department of Computer Science
University of Toronto
(On leave from NUS)
CV: [pdf] | Research Statement: [pdf]
Teaching: [pdf] | Bio: [txt]


Research Group
Office: PT 398B (D.L. Pratt Building)
Email: meel@cs.toronto.edu
Tools: Github
Publications: [html]
Talks/Slides: [html]
External: [Scholar] [DBLP]

New: Don Knuth's note on our algorithm for Distinct Element Estimation. Here is Quanta Magazine's story on the work. Read more on the events leading to Knuth's article here.

I am an Associate Professor in the Department of Computer science at the University of Toronto and a faculty affiliate at Vector Institute. Prior to moving to Toronto, I held NUS Presidential Young Professorship (at the rank of Assistant Professor) in the School of Computing at the National University of Singapore. I am 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. I love teaching, and I am proud to be recipient of university-level Teaching Excellence Awards at NUS in 2022 and 2023. A longer version of bio is available here.

My primary research interest is in automated reasoning. The long term vision of my research program's is to advance automated reasoning techniques to enable computing to deal with increasingly uncertain real-world environments. The core theme of my research program is the quest for scalability. Accordingly, our work straddles theory and practice, and draws upon ideas from randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering.

Given the broad nature of the field of automated reasoning, my research group's work spans multiple traditional subfields of computer science, reflected by publication record as well as recognition in artificial intelligence (AAAI: 17×, IJCAI:13×, NeurIPS: 6×), formal methods (CAV: 7×, CP: 8×, SAT: 6×, TACAS:3×), design automation (ICCAD: 2x, DATE: 2x, DAC: 1x), and logic/databases (PODS: 4x, ICALP:1x, LPAR:4x, LICS: 2x). In short, a research group that is not bound by (traditional) borders.

Check out Research Statement (last updated: Dec 2021) 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

Personal: I am married to fellow computer science professor Suguman Bansal. Some more info: here and here

Awards and Honors

Research Paper Recognition

Teaching Recognition

Software Recognition

  • Model Counting Competition
    • 2023: 1st place in Projected Model Counting Track
    • 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 Graduates
  1. Teodora Baluta (2024), co-advised with Prateek Saxena;
    PhD Thesis: Rigorous Security Analysis of Machine Learning Systems
    Current Job: Assistant Professor, Georgia Institute of Technology
  2. Dr. Priyanka Golia (2023), co-advised with Prof. Subhajit Roy
    PhD Thesis: Functional Synthesis via Formal Methods and Machine Learning
    Current Job: Assistant Professor, IIT Delhi
  3. Dr. Bishwamittra Ghosh (2023)
    PhD Thesis: Interpretability and Fairness in Machine Learning: A Formal Methods Approach
    Current Job: Post-doc, Max Planck Institute for Software Systems, Saarbrucken, Germany
Senior Research Fellow:
  • Dr. Mate Soos, Senior Research Fellow (Mar-June 2024; Mar-June 2023; Jul-Sep 2019; Mar-June 2018)
Post-doc "Gradautes":
  1. Dr. Anna Latour (Feb 2022-Apr 2024)
    Now: Assistant Professor at Delft University of Technology
  2. Dr. Timothy van Bremen (June 2022-June 2024)
    Now: Assistant Professor at Nanyang Technological University (NTU), Singapore
  3. Dr. Gunjan Kumar (March 2021-July 2024)
    Now: Assistant Professor at IIT Kanpur
  4. Dr. Lawqueen Kanesh (Jan 2021-Dec 2021)
    Now: Assistant Professor, IIT Jodhpur
  5. Dr. Jaroslav Bendik (Jan 2021-Apr 2021)
    Now: Team Lead at Certora
  6. Dr. Vignesh Sivaraman (Sep 2020-Apr 2021)
    Now: Assistant Professor at IIIT Hyderabad.
  7. Dr. Yong Lai (Aug 2019-Aug 2020)
    Now: Associate Professor at Jilin University
Masters Graduates:
  1. Alexis de Colnet, MComp@NUS (Graduated: Dec 2018); now post-doc at TU Wien
  2. Rahul Gupta, BTech+MTech@IITK ( co-advised with Subhajit Roy (IITK)
  3. Shubham Sharma, BTech+MTech@IITK (Graduated: May 2019), co-advised with Subhajit Roy (IITK)
  4. Delannoy Remi Christian, MComp@NUS, (Graduated: Dec 2019)
  5. Lorenzo Ciampiconi, MS@Politecnico di Milano (Graduated: Dec 2019)

Publications

Full publication list, organized by

Teaching

  • CSC2512: Advanced Propositional Reasoning (Fall 2023)
  • CS3243: Introduction to Artificial Intelligence (Spring 2024; Fall 2021; Fall 2020)
  • CS 4244: Knowledge Representation and Reasoning (Spring 2023; 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

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)
A detailed list of talks (along with slides) is available [here].

News

  • 03 July 2024

    Four of my advisees were in job market this past academic year and all of them managed to secure tenure-track positions in four countries across three continents. Congratulations!

    1. Teodora Baluta (PhD, co-advised with Prateek Saxena) will be joining Georgia Tech as an Assistant Professor.
    2. Gunjan Kumar (post-doc, co-advised with Diptarka Chakraborty) will be joining IIT Kanpur as an Assistant Professor.
    3. Anna Latour (post-doc) will be joining TU Delft as an Assistant Professor.
    4. Tim van Bremen (post-doc) will be joining Nanyang Technical University (NTU) Singapore as an Assistant Professor.
  • 01 May 2024

    Our paper characterizing the complexity of total variation distance estimation and probabilistic inference is accepted to ICML 2024. Our paper shows that estimating TV distance admits FPRAS if the underlying inference queries can be performed in polynomial time.

  • 08 March 2024

    Our paper on engineereing an efficient preprocessor for model counting is accepted to DAC 2024. Joint work with Mate Soos.

  • 04 March 2024

    We have two papers accepted to PODS-24.

    1. The first paper, co-authored with Sourav Chakraborty]sourav and Umang Mathur presents a faster FPRAS for counting the number of words accepted by NFA.

    2. The second paper, co-authored with Pavan Aduri,Sourav Chakraborty, and N.V. Vinodchandran introduces the model of right to be forgotten in the context of streaming.

All news…