ZHANG Min

Full Professor, Software Engineering Institute, East China Normal University

  • Joined November 2023

Names

ZHANG Min (Preferred)

Emails

****@sei.ecnu.edu.cn (Confirmed)

Personal Links

Career & Education History

Full Professor
Software Engineering Institute, East China Normal University (ecnu.edu.cn)
2022 – Present
 
Associate Professor
Software Engineering Institute, East China Normal University (ecnu.edu.cn)
2012 – 2022
 
Assistant Professor
Software Engineering Institute, East China Normal University (ecnu.edu.cn)
2007 – 2011
 
PhD student
Department of Computer Science, Shanghai Jiaotong University (sjtu.edu.cn)
2002 – 2007
 

Advisors, Relations & Conflicts

PhD Advisor
Pierre-Louis Curien
2003 – 2007
 
PhD Advisor
FU yuxi
2002 – 2007
 

Expertise

Theory of Computer Science
Present
 
Formal Methods
Present
 
Verification and analysis for AI
Present