Scholar
Marjan Sirjani
Google Scholar ID: TKnSrTQAAAAJ
Mälardalen University
Citations & Impact
Citations
1,183
H-index
18
i10-index
33
Publications
20
Co-authors
55
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Founder of the FSEN conference series; PC member or chair for several international conferences including SEFM, iFM, Coordination, FM, FMICS, SAC, FSEN, and DATE; editor of the journal Science of Computer Programming; involved in multiple research projects such as ASSURE, EASCO, ARAS, and SACSys.
Research Experience
- Professor at the School of Innovation, Design, and Engineering at Mälardalen University; co-founder of the Icelandic Center for Research on Software Engineering at Reykjavik University and founder of the Formal Methods Laboratory at the University of Tehran; head of the Software Engineering Department at the School of Electrical and Computer Engineering at the University of Tehran from 2005 to 2008; managing director of Behin System Company for over ten years.
Education
- Information not provided
Background
- Professor of Software Engineering, with a main research interest in applying formal methods to software engineering. She focuses on modeling and verification of concurrent, distributed, timed, and self-adaptive systems. She is a pioneer in building model checking tools, compositional verification theories, and state-space reduction techniques for actor-based models. Her current research is focused on safety and performance evaluation of cyber-physical and autonomous systems.
Miscellany
- Member of the expert panel on Engineering and Physical Sciences at RANNÍS, The National Icelandic Centre for Research; extensive work on the Rebeca modeling language and its extensions, designed to bridge the gap between model-based software development and formal analysis.
