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