Chengmeng Li (not working at IDT anymore)

Chengmeng Li is a Doctoral Student at Mälardalen University since August 2020.


  • Master of Engineer in Computer Engineering School, Leibniz University, Germany, 2016-2019
  • Bachelor in Technical Physics School, Xidian University, China, 2012-2016


His research is about embedded system design, verification, and validation using formal methods. He is working in the ACICS project group with close cooperation with Volvo and ABB.  His research interest is listed but not limited as following:

  • Formal modelling and verification of embedded systems
  • Cloud Computing
  • CPS
  • Machine learning