Meng Sun
Scholar

Meng Sun

Google Scholar ID: R8O-iusAAAAJ
Professor, School of Mathematical Science, Peking University
software theoryformal methodscyber-physical systemscoalgebra theorytrustworthy AI
Citations & Impact
All-time
Citations
732
 
H-index
13
 
i10-index
19
 
Publications
20
 
Co-authors
32
list available
Contact
No contact links provided.
Resume (English only)
Research Experience
  • Professor at the Department of Information and Computational Sciences, School of Mathematical Sciences, Peking University; office located in Room 353, Zhihua Building, No. 5 Yiheyuan Road, Haidian District, Beijing, 100871.
Background
  • Research interests include formal methods; specializes in Information and Computational Sciences; currently seeking PhD and master students, as well as postdocs with a background in formal methods.