Marjan Sirjani

School of IDT
Direct +46 73 662 0517
Mälardalen University
marjan.sirjani [AT]

Högskoleplan 1, 722 20 Västerås, Sweden

Tel +46 21 10 13 00






Marjan Sirjani is a Professor at School of Innovation, Design and Engineering at Malardalen University (MDH), Vasteras, Sweden. Her main research interest is applying formal methods in Software Engineering. She works on modeling and verification of concurrent, distributed, timed, and self-adaptive systems. Marjan and her research group are pioneers in building model checking tools, compositional verification theories, and state-space reduction techniques for actor-based models. She has been working on analyzing actors since 2001 using the modeling language Rebeca. Rebeca and its extensions are designed to bridge the gap between model-based software development and formal analysis, and has been used for analyzing different network and system applications. She has also worked on coordination languages and is the co-author of the paper proposing Constraint Automata as the compositional formal semantics for the coordination language Reo. Her research is now focused on safety and security assurance and performance evaluation of cyber-physical and autonomous systems.

Marjan is the founder and leader of Cyber-Physical Systems Analysis research group at MDH. She was a co-founder of Icelandic Center for Research on Software Engineering at Reykjavik University, and the founder of Formal Methods Laboratory at University of Tehran. She has been a member of expert panel on Engineering and Physical Sciences at RANNÍS, The National Icelandic Centre for Research.

Marjan has been the PC member and PC chair of several international conferences including SEFM, iFM, Coordination, FM, FMICS, SAC, FSEN, and DATE. She is an editor of the journal of Science of Computer Programming. Before joining academia as a full-time faculty she has been the managing director of Behin System Company for more than ten years, developing software and providing system services. Marjan served as the head of the Software Engineering Department of School of Electrical and Computer Engineering at the University of Tehran from 2005 to 2008 prior to joining the School of Computer Science at Reykjavik in 2008.

She established FSEN conference series in 2005 with the help of the Steering Committee and support of School of Computer Science at IPM.
FSEN has been supported by IFIP WG2.2 and ACM SigSoft.

Google Scholar Profile