Kuldeep Meel is an Assistant Professor of Computer Science in the School of Computing at the National University of Singapore where he holds the Sung Kah Kay Assistant Professorship. He received his PhD (2017) and MS (2014) degree from Rice University, and BTech with Honors degree (2012) in Computer Science and Engineering from Indian Institute of Technology, Bombay. His research interests lie at the intersection of Artificial Intelligence and Formal Methods. Kuldeep is a recipient of 2019 NRF Fellowship for AI. His work received the 2018 Ralph Budd Award for Best PhD Thesis in Engineering, 2014 Outstanding Masters Thesis Award from Vienna Center of Logic and Algorithms and Best Student Paper Award at CP 2015.
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist.