“Marjan Sirjani”

Tel:  88020403-4301

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
scroll left or right