Marjan SirjaniView profile
Professor
- Formal Methods in Software Engineering
- Cyber-Physical Systems Analysis
- Actor Model and Verification
- +3 more
Marjan Sirjani is a Professor at Mälardalen University's School of Innovation, Design and Engineering (IDT), located in Västerås, Sweden. She leads the Cyber-Physical Systems Analysis research group and has held academic leadership roles, including founding the Formal Methods Laboratory at the University of Tehran and co-founding the Icelandic Center for Research on Software Engineering at Reykjavik University. Her professional background includes over a decade as Managing Director of Behin System Company before transitioning to full-time academia. Her research focuses on applying formal methods to software engineering, with specialization in modeling and verification of concurrent, distributed, and real-time systems using actor-based approaches. Key contributions include the Rebeca modeling language and its extensions for analyzing network applications and autonomous systems. Current work emphasizes safety, security, and performance evaluation of cyber-physical systems (CPS). Marjan has led major research initiatives such as the SACSys project (2019-2023), Serendipity (2018-2023), and MACMa (2016-), all addressing critical challenges in CPS and autonomous systems. She pioneered the use of timed actors for system analysis and developed the Afra model checking tool, which remains central to her work. Notably, she co-authored foundational papers on Constraint Automata semantics for coordination languages like Reo. Professional Roles: Steering Committee Chair of FSEN conference series Former Editor of Science of Computer Programming journal Expert panel member on Engineering and Physical Sciences at RANNÍS (Iceland) Recent Projects: SACSys: Safe & Secure Adaptive Collaborative Systems Serendipity: Safe and Reliable Platforms for Autonomy MACMa: Modeling and Analyzing Cyber-Physical Systems Her publications consistently explore actor model advancements, CPS security, and model-driven development. Recent work highlights integration of AI (e.g., LLM and ChatGPT) with formal verification techniques, as well as ROS2 system analysis. She has delivered keynote speeches and invited talks on topics like autonomous systems trustworthiness and real-time distributed system analysis across international venues including MIT and UC Berkeley. Awards: 2016: Distinguished Alumni Award from Sharif University of Technology Marjan's academic service includes chairing multiple conferences (SEFM, iFM, COORDINATION) and serving on program committees for major events like DATE and FSEN. Her teaching spans institutions including Reykjavik University (Software Engineering II, Advanced Software Engineering) and University of Tehran (Modeling & Verification of Concurrent Systems).




/prod01/production-cdn-pxl/media/umassdartmouth/profiles/engineering/Yuchou-CHANG-22.jpg)



