2014 Rice Oil & Gas HPC has ended

Kuldeep S. Meel

Rice University
Graduate Student
United States
Kuldeep is a PhD student in Rice working with Prof. Moshe Vardi and Supratik Chakraborty and obtained his B.Tech. from IIT Bombay in 2012. His research broadly falls into the intersection of program synthesis, computer-aided verification and formal methods. He is the recipient of 2013 Andrew Ladd fellowship.