Kuldeep Meel is an Associate Professor of Computer Science in the Department of Computer Science at the University of Toronto. His research interests lie at the intersection of Formal Methods and Artificial Intelligence. He is a recipient of the 2022 ACP Early Career Researcher Award, the 2019 NRF Fellowship for AI, and was named AI's 10 to Watch by IEEE Intelligent Systems in 2020. His research program's recent recognitions include the 2023 CACM Research Highlight Award, 2022 ACM SIGMOD Research Highlight, IJCAI-22 Early Career Spotlight, Distinguished Paper Award at CAV-23, "Best Papers of CAV" (2020 and 2022) special issue in FMSD journal, Best Paper Award nominations at ICCAD-21 and DATE-23, 1st Place in Model Counting Competition (2020 and 2022). He is passionate about teaching, and most proud of being recipient of university-level Annual Teaching Excellence Awards in 2022 and 2023.

Before moving to Toronto in 2023, he held NUS Presidential Young Professorship in the School of Computing at the National University of Singapore. Before joining NUS in Spring 2018, he received M.S. and Ph.D. from Rice University, co-advised by Supratik Chakraborty and Moshe Y. Vardi. His thesis work received the 2018 Ralph Budd Award for Best Ph.D. Thesis in Engineering and the 2014 Outstanding Masters Thesis Award from Vienna Center of Logic and Algorithms, IBM Ph.D. Fellowship, and Best Student Paper Award at CP 2015. He graduated with Bachelor of Technology (with honors) in Computer Science and Engineering from IIT Bombay.