Loading…
This event has ended. Create your own event → Check it out
This event has ended. Create your own
View analytic
KM

Kuldeep 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.

My Speakers Sessions

Thursday, March 6
 

4:30pm