Chengmeng Li is a Doctoral Student at Mälardalen University since August 2020.
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:
|ACICS - Assured Cloud Platforms for Industrial Cyber-physical Systems||active|