Marjan Sirjani

Marjan Sirjani is a Professor at Mälardalen University, affiliated with the School of Innovation, Design and Engineering, and the Division of Computer Science and Software Engineering. Her research focuses on cybersecurity, formal verification, and cyber-physical systems, with notable contributions to actor-based modeling (e.g., Timed Rebeca) and tools like AFRA for model analysis. She specializes in integrating formal methods into safety-critical systems, including automotive cybersecurity, ROS2 robotics, and blockchain-based IoT systems.

Her work emphasizes rigorous analysis of protocols, concurrency, and real-time constraints. Recent projects include the CRYSTAL framework for CPS assurance, Tiny Twins for runtime attack detection, and applying LLMs for automated test generation. She also explores semantic segmentation in construction and compositional analysis of distributed systems.

Publications highlight advancements in protocol learning, controller synthesis for safety, and model-driven development. Her research bridges theoretical foundations (e.g., automata theory, temporal logics) with practical applications in autonomous systems, medical device interoperability, and smart mobility.

• Labs/Teams: Involved in the Rebeca tool development (AFRA) and collaborative projects on CPS security.
• Grants: Not explicitly listed but implied through project involvement.