Mingsong Chen
Scholar

Mingsong Chen

Google Scholar ID: 93A6b7YAAAAJ
Software Engineering Institute, East China Normal University
Embedded SystemsTrustworthy AITestingFormal Verification
Citations & Impact
All-time
Citations
3,402
 
H-index
30
 
i10-index
83
 
Publications
20
 
Co-authors
23
list available
Resume (English only)
Academic Achievements
  • Published nearly 200 papers in top-tier venues including IEEE TC, IEEE TCAD, IEEE TPDS, CODES+ISSS, DAC, DATE, ECCV, RTSS, IJCAI, ISCA, and NeurIPS
  • Obtained over 20 software copyrights and more than 30 patents (applied/granted)
  • Led 9 provincial/ministerial-level projects including National Key R&D Program and NSFC Key Projects
  • Authored 2 English monographs (one translated into Russian), 1 Chinese monograph, 1 Chinese textbook, and 1 English textbook
  • Received Best Paper Nominations at VLSI Design Conference (2009) and International Embedded Systems Conference (2013)
  • Awards: Special Prize of Shanghai Science and Technology Progress Award (3rd contributor), NASAC Youth Software Innovation Award, and two Second Prizes of Shanghai Teaching Achievement Award (1st in 2022, 5th in 2017)
  • Currently Associate Editor of IEEE Transactions on Computers; served as General/Program/Local Chair for multiple international conferences (e.g., TASE 2021, ESWeek 2022, SLIP 2019)
Background
  • Research interests include design automation of intelligent cyber-physical systems, formal verification of SoC, trustworthy AI, AIoT modeling and verification, cloud/edge computing, computer architecture, and software engineering
  • Full Professor at the Software Engineering Institute (SEI), East China Normal University (ECNU)
  • Director of the Engineering Research Center of SW/HW Co-Design and Application, Ministry of Education, China
  • Senior Member of IEEE, Distinguished Member of CCF, and member of ACM
  • Serves as Vice Chair of CCF Embedded Systems Technical Committee and Vice Chair of Shanghai Computer Association IoT Committee