Chengmeng Li (not working at IDT anymore)
Chengmeng Li is a Doctoral Student at Mälardalen University since August 2020.
Education:
- Master of Engineer in Computer Engineering School, Leibniz University, Germany, 2016-2019
- Bachelor in Technical Physics School, Xidian University, China, 2012-2016
Positions:
- Formal Modelling and Analysis of Embedded Systems member, 2020-now
Research:
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