Kuldeep Meel holds the Stephen Fleming Early-Career Associate Professorship 
at Georgia Institute of Technology and is an Associate Professor (currently on leave) at the University of Toronto. 
His research focuses on the intersection of Formal Methods and Artificial Intelligence.
Prior to move to University of Toronto, he held the NUS Presidential Young Professorship 
at the National University of Singapore and completed his Ph.D. at Rice University in 2017.

He is recipient of 2022 ACP Early Career Researcher Award, the 2019 NRF Fellowship for AI, and 
was named one of AI's 10 to Watch by IEEE Intelligent Systems in 2020.
 His research program's recent regonition include Distinguished Paper Awards at CAV-24
and CAV-23, Best Paper Award at ICLP-24, the CACM Research Highlight Award 2023, 
the 2022 ACM SIGMOD Research Highlight, Best Paper Award Nomination at DATE 2023, 
and 1st Place in the Model Counting Competition 2024. He is passionate about teaching and has received university-level 
Annual Teaching Excellence Awards in both 2022 and 2023.