Welcome to my research page!!

My research interest is in the application of formal methods and artificial intelligence to embedded and cyberphysical systems and robotics. My Ph.D. research dealt with bridging the gap between mathematical model of a feedback controller and its software implementation. During my postdoctoral research, I worked on automatic synthesis of motion plans for multi-robot systems from logical specifications.

[ group | funding | publications | talks | software | patents ]


Group Meeting

CPS Group at IIT Kanpur meets on Thursday from 5:00 pm to 6:00 pm in KD102.