Kuldeep S. Meel

Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at Georgia Institute of Technology's School of Computer Science and an Associate Professor at the University of Toronto (currently on leave). His research focuses on the intersection of Formal Methods and Artificial Intelligence, emphasizing scalable automated reasoning techniques. He holds prestigious awards including the 2022 ACP Early Career Researcher Award and the 2019 NRF Fellowship for AI. His work has been recognized with multiple best paper awards at conferences like ICLP, CAV, and IJCAI.

Meel's research spans automated reasoning, formal methods, and their applications in AI. He has developed influential tools like ApproxMC and UniGen, advancing model counting and uniform sampling. His academic journey includes roles at NUS and collaborations with institutions globally. Teaching excellence is highlighted by NUS Annual Teaching Awards (2022, 2023).

Awards include Distinguished Paper Awards at CAV-23 and CAV-24, and 1st place in Model Counting Competitions. His lab has produced notable advisees securing tenure-track positions worldwide. Current projects explore distribution testing, probabilistic reasoning, and AI verification.