Resident Researcher
Computer Science
Fundamental Sciences Research Institute
Iran
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.
Modelling Concurrent Reaction Systems, Formal Verification, Compositional Verification, Component-based Modelling