credit: www.wordle.net
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.