Edward Lee and Sanjit Seshia win Cyber-Physical Systems (TCCPS) awards

Two EECS professors have won awards from the IEEE Technical Committee on Cyber-Physical Systems (TCCPS).  Edward Lee won the Technical Achievement Award, which recognizes significant contributions to the field sustained throughout the recipient’s career, ‘‘for pioneering and fundamental contributions to the design, modeling and simulation of cyber-physical systems.’’  The previous winner was Prof. Alberto Sangiovanni-Vincentelli in 2017.  Sanjit Seshia won the Mid-Career Award, which recognizes a mid-career researcher who has made outstanding contributions to the field, ‘‘for fundamental contributions to formal methods for cyber-physical systems design and to cyber-physical systems education.’’  The previous recipient was Prof. Alexandre Bayen in 2018.