Rate My Professor Kuldeep Mel

Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor in the School of Computer Science at the Georgia Institute of Technology, where he also holds an Adjunct Associate Professorship in the H. Milton Stewart School of Industrial and Systems Engineering. He serves as an Associate Professor at the University of Toronto, currently on leave. Meel earned his PhD in Computer Science from Rice University and previously held the NUS Presidential Young Professorship at the rank of Assistant Professor in the School of Computing at the National University of Singapore. His research interests lie at the intersection of Formal Methods and Artificial Intelligence, with a primary focus on automated reasoning. He advances scalable techniques for handling uncertain real-world environments, drawing upon randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. His work has amassed over 4,500 citations according to Google Scholar.

Meel's scholarly impact is evidenced by prestigious awards, including the 2022 ACP Early Career Researcher Award, 2019 NRF Fellowship for AI, and selection as one of AI's 10 to Watch by IEEE Intelligent Systems in 2020. His research program has earned the ICLP 2024 Best Paper Award, Distinguished Paper Awards at CAV-23 and CAV-24, 2023 CACM Research Highlight Award, 2022 ACM SIGMOD Research Highlight, and IJCAI-22 Early Career Spotlight. Key publications include “Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks” with Mohimenul Kabir, Van-Giang Trinh, and Samuel Pastva (accepted to CP 2025), “Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification” with Yuke Liao, Blaise Genest, and Shaan Aryaman (accepted to ATVA 2025), and award-winning papers at KR-25 (Marco Cadoli Best Student Paper Award) and SAT-25 (Runner-up Best Student Paper Award). His software tools claimed first place in all three tracks of the Model Counting Competition in 2024 and 2025. Meel has served as Program Co-Chair for SAT 2022, co-organizer of workshops like Beyond Satisfiability at Simons Institute, and on program committees for ICML-23, CAV-23, IJCAI-23, and others. He received university-level Annual Teaching Excellence Awards in 2022 and 2023.