Speaker

Meng Sun

Meng Sun received his BS degree in Information Science and PhD degree in applied mathematics from Peking University in 1999 and 2005, respectively. He worked as a postdoc researcher at National University of Singapore from 2005 to 2006, and as a scientific staff member at CWI, the Netherlands, from 2006 to 2010. He joined Peking University in 2010 and currently is a full professor at School of Mathematical Sciences in Peking University. His research interests mainly lie in theories of programming, software formal methods, cyber-physical systems, trustworthiness guarantee of AI systems, blockchain and smart contracts. His publications appear in top-tier venues including TSE, TDSC, ICSE, FSE, FM, NeurIPS and AAAI. He has served as PC Co-chair of ICFEM (2024 and 2018), TASE (2023), FACS (2024 and 2009), and PC member of international conferences such as FM and TACAS.

Talks at this event:

 Overview