Welcome to my research page!!

My research interest is application of formal methods 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 ]