Generate a tailored SOP for Dr. Kuldeep Meel. Improve your application with a focused, well-structured draft.
Kuldeep Meel is an Associate Professor in the School of Computer Science at Georgia Tech, currently on leave from the University of Toronto. His research interests lie at the intersection of Automated Reasoning, Formal Methods, and Artificial Intelligence. He is a recipient of prestigious awards such as the 2022 ACP Early Career Researcher Award and the 2019 NRF Fellowship in AI, and has been named one of AI's 10 to Watch by IEEE Intelligent Systems in 2020. His recent recognitions include the ICLP 2024 Paper Award, the 2023 CACM Research Highlight Award, and notable accolades from ACM SIGMOD and IJCAI. Moreover, he has also won various 'Best Paper' awards for his contributions in his field. Kuldeep is passionate about teaching, having received the university-level Annual Teaching Excellence Awards for two consecutive years (2022 and 2023).
Department of Computer Science: GRE scores are optional for Fall 2026.