Marjan Sirjani

Marjan Sirjani is a Professor at School of Innovation, Design and Engineering at Malardalen University, Sweden, and also a part-time professor at School of Computer Science at Reykjavik University, Iceland. Her main research interest is applying formal methods in Software Engineering. She works on modeling and verification of concurrent and distributed 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.

Marjan is 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 Coordination, FM, FMICS, ICFEM, FSEN, and guest editor for special issues of the journals Science of Computer Programming and Fundamenta Informaticae. 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.

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

News:

• On June 1st 2016, Marjan joined Malardalen University, as the Professor in Software Engineering.
• iFM 2016 was organized at Reykjavik University in June. It was a great success!
• Visit Professor Edward Lee at School of EECS at UC Berkeley, April-May 2016.
• On the occasion of its 50th anniversary, Sharif University of Technology selected 50 individuals out of 48,000 graduates in the last 50 years, to receive its distinguished alumni award. Marjan was one of them!
• In January 2016, the SEADA project is approved by RANNIS, the Icelandic national research funding agency. Marjan is the PI.
• Visit Ptolemy Group at School of EECS at UC Berkeley on a Fulbright Scholar Grant from May to August 2015.

Research:

• Research interests:
  • Formal Methods in Software Engineering
  • Modeling Reactive and Concurrent Systems
  • Actor Model
  • Component-based Modeling
  • Formal Verification
  • Model Checking and Reduction Techniques
  • Applying Formal Methods in System Design
  • Analyzing Self-Adaptive Sytems
  
  I am the Steering Committee Chair of FSEN and a member of Steering Committees of DisCoTec and COORDINATION.
  
  Currently I am, or have been, a PC member of MEMOCODE, SEFM, ACM SAC-Verification and Testing, ACM SAC-Coordination Models, TTCS, AGERE@Splash, ICSSEA, FOCLASA, FACS, and Coordination.
  
  I have been the PC chair of FSEN, COORDINATION, and FOCLASA.
  
  
• CV (PDF)
• Rebeca Homepage
• Reo Homepage
• ROSE Homepage

• Two PhD positions are available in TARO Project   (Closed)
• See the ongoing projects at ROSE page

Teaching:

• Teaching at RU:
  • Software Engineering II
  • Advanced Software Engineering
  • Research Methodology
• Teaching at UT:
  • Software Engineering 1 (System Analysis and Design)
  • Programming Languages, Design and Implementation
  • Advanced Software Engineering
  • Modeling and Verification of Concurrent and Reactive Systems

Publications:

• DBLP
• CV (PDF)