His research interests are in formal verification, distributed computing, and cyberphysical systems. He holds a PhD from MIT (2007), MSc from the Indian Institute of Science, Bangalore, and undergraduate degree in EE from Jadavpur University, Kolkata. He was a postdoctoral fellow at the Center for Mathematics of Information of CalTech, and held visiting faculty positions at Oxford University and Kirtland Air Force Research Laboratory. Sayan received the National Science Foundation’s CAREER Award in 2011, AFOSR Young Investigator Research Program Award in 2012, IEEE-HKN C. Holmes MacDonald Outstanding Teaching Award (2013), Samsung Global Research Outreach Award, and several best paper awards.