Author details
Min Zhang
Affiliation
East China Normal University, Shanghai, China
Biography
Min Zhang received the M.S. degree in software theory from Shanghai Jiao Tong University, China, in 2008, and the Ph.D. degree in software science from the Japan Advanced Institute of Science and Technology (JAIST), Nomi, Japan, in 2011. He is currently a Full Professor with the Software Engineering Institute, East China Normal University, Shanghai. His current research interests include formal methods, programming languages, and software engineering.(Based on document published on 7 November 2023). Author's Published Works