• 3
  • 3
  • 82
  • 82
IPM
30
YEARS OLD

“Marjan Sirjani”

Tel:  88020403-4301
Email: 

IPM Positions

Resident Researcher, School of Computer Science
(2004 - Present )

Non IPM Affiliations

Faculty Member of Tehran University
Researcher, Dutch National Center for Mathematics and Computer Science

Research Interests

Modelling Concurrent Reaction Systems, Formal Verification, Compositional Verification, Component-based Modelling

Present Research Project at IPM

Component-based Correct Development of Distributed Systems
[Back]   
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
scroll left or right