Mingsong Chen received his B.S. and M. Eng. degrees from Nanjing University, Nanjing, China, in 2003 and 2006, respectively, and his Ph.D. degree from the University of Florida, Gainesville, FL, USA, in 2010; all were in the field of computer science. Chen is an Associate Professor at the Software Engineering Institute (SEI), East China Normal University (ECNU), Shanghai, China. His research interests include design automation of embedded and cyber physical systems and formal verifications and design of trust worthy software.
Biography Updated on 29 December 2013