Min Zhang (Preferred)
ZHANG Min
Min Zhang
Full Professor, Software Engineering Institute, East China Normal University
Joined
November 2023
Names
,
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