Speaker

Meng Sun

Short bio

Meng Sun received his Ph.D and Bachelor degrees in applied mathematics from Peking University, in 2005 and 1999, respectively. He was a postdoctoral researcher at National University of Singapore from 2005 to 2006, and a scientific staff member at CWI, the Netherlands from 2006 to 2010. He joined School of Mathematical Sciences, Peking University as an assistant professor in 2010 and became a full professor in 2017. He has published about 130 papers at international journals and conferences such as TSE, ICSE, ESEC/FSE, AAAI and FM. He has served as PC Co-chair of TASE 2023, ICFEM 2018, FACS 2009, MLiSE 2021, TTSS 2011, and Publicity Chair, Local Organization Chair, SC and PC member of many international conferences and workshops such as FM, TACAS, CONCUR, ATVA, ICECCS, ICFEM, TASE, SETTA, FACS, Coordination, QEST, FORMATS, etc.

More Information:

• Personal homepage

Talks at this conference:

 Overview