Muhammad Naeem is a postdoctoral researcher specializing in formal methods and machine learning.
Education Background
Work Experience:
Naeem is a postdoctoral researcher at Mälardalen University, Sweden since April 2024, Focusing on the design and analysis of the Digital Twins model. Before this role, he was a PhD researcher at Aalborg University from 2019 to 2023, where he focused on formal verification and model checking of cyber-physical systems. He also served as a Course Instructor at The University of Lahore from 2017 to 2019, teaching various computer science courses and supervising student projects.
Research
Naeem's research is problem-oriented and closely connected to real-world challenges in cyber-physical systems. He collaborates with industry partners to develop efficient verification and analysis techniques for complex systems. His research interests include:
Naeem utilizes tools such as UPPAAL SMC and UPPAAL Stratego, focusing on integrating machine learning techniques with model checking to enhance scalable verification and strategy synthesis for complex systems.
Professional Affiliations and Service:
Naeem has published several papers in reputable conferences and journals, significantly advancing knowledge in his field. He actively participates in research initiatives and collaborations, aiming to bridge theoretical concepts with practical applications in formal methods and cyber-physical systems.
Research Area:
Muhammad naeem's research is problem-oriented and closely connected to real-world challenges in cyber-physical systems. He collaborates with industry partners to develop efficient verification and analysis techniques for complex systems. His research interests include:
Naeem utilizes tools such as UPPAAL SMC and UPPAAL Stratego, focusing on integrating machine learning techniques with model checking to enhance scalable verification and strategy synthesis for complex systems.
Energy-Efficient Motion Planning for Autonomous Vehicles Using UPPAAL Stratego (Jul 2024) Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen , Brian Nielsen , Michele Albano The 18th International Symposium on Theoretical Aspects of Software Engineering (TASE2024)
A Service-Oriented Digital Twin Framework for Dynamic and Robust Distributed Systems Rong Gu, Tiberiu Seceleanu, Ning Xiong, Muhammad Naeem IEEE SSE 2024: IEEE International Conference on Software Services Engineering (SSE2024)
Project Title | Status |
---|---|
A Digital Twin Framework for Dynamic and Robust Distributed Systems | active |