Min ZHANG
Scholar

Min ZHANG

Google Scholar ID: SH0id-wAAAAJ
East China Normal University
Formal MethodsTrustworthy Artificial Intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
802
 
H-index
16
 
i10-index
25
 
Publications
20
 
Co-authors
16
list available
Resume
Background
  • Research interests include formal methods for real-time systems, AI-empowered systems, and blockchains. Published over 70 papers in top-tier conferences and journals such as CAV, NeurIPS, AAAI, ASE, ISSTA, OOPSLA, RTSS, FSE, TCS.
Co-authors
13 total
Kazuhiro Ogata
Kazuhiro Ogata
JAIST
Mingsong Chen
Mingsong Chen
Software Engineering Institute, East China Normal University
Fu SONG
Fu SONG
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Guy Katz
Guy Katz
The Hebrew University of Jerusalem
Peixin Wang
Peixin Wang
East China Normal University
Kokichi FUTATSUGI
Kokichi FUTATSUGI
Professor of Computer Science, JAIST
Zhi Jin, Fellow of IEEE and CCF
Zhi Jin, Fellow of IEEE and CCF
Professor - Peking University, Hongyi Visiting Professor - Wuhan University
Clark Barrett
Clark Barrett
Stanford University