“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]
|
