About

Kuldeep Meel is a highly accomplished Presidential Young Professor at the National University of Singapore, specializing in the intersection of Artificial Intelligence and Formal Methods. With over 5 years of relevant experience, he has established himself as a leading expert in his field. Kuldeep's research focuses on developing algorithms and techniques to improve the accuracy and efficiency of artificial intelligence systems. He is particularly interested in knowledge representation and reasoning, and how these can be used to enhance the capabilities of AI. Prior to his current role, Kuldeep served as an Assistant Professor at the National University of Singapore, where he was a Sung Kah Kay Assistant Professor from July 2018 to June 2021. He has also worked as a Cognitive Intern at IBM, where he was mentored by Dr. Dmitry Malioutov and Dr. Vijay Saraswat. Kuldeep holds a Doctor of Philosophy (Ph.D.) in Artificial Intelligence and Formal Methods from Rice University, where he was a candidate from 2014 to 2017. He also earned a Master of Science (M.S.) in Computer Science from Rice University in 2014, and a Bachelor of Technology (with Honors) in Computer Science & Engineering from the Indian Institute of Technology, Bombay in 2012. He spent a year as a visiting student at Rice University in 2010-2011. Kuldeep's expertise and contributions to the field of AI and Formal Methods have been widely recognized. He has published numerous research papers in top-tier conferences and journals, and has received several awards and honors for his work. His website, http://www.kuldeepmeel.com, provides further information on his research and achievements.