Professor
Computer Science
Fundamental Sciences Research Institute
Iran
He is working as Professor, School of Computer Science in Fundamental Sciences Research Institute. His Research Interests are Formal Methods, Quantum Computation, Cyber Physical Systems, Logic and Complexity.
Formal Methods Quantum Computation Cyber Physical Systems Logic and Complexity