Marjan Sirjani
Resident Researcher
Computer Science
Fundamental Sciences Research Institute
Iran
Biography
She is working as Resident Researcher, School of Computer Science in Fundamental Sciences Research Institute.Faculty Member of Tehran University. Researcher of Dutch National Center for Mathematics and Computer Science.
Research Interest
Modelling Concurrent Reaction Systems, Formal Verification, Compositional Verification, Component-based Modelling