Educations | Honors and Awards | Research Interests | Executive Responsibilites | Publications | Research laboratory | Courses
PhD: Computer Science (Theory of Systems) , The University of Warwick
MRes: Computer Science (Logic and Computation), Swansea University
BSc. Applied Mathematics, University of Mazandaran
Research grant from Iran National Science Foundation (INSF) Iran National Elite Organization (BMN) award for Top international University Alumni Doctoral scholarships from Centre for Discrete Mathematics and Applications (DIMAP), University of Warwick Master research scholarship from Swansea University
Quantum Computation Quantum and Post-Quantum Cryptography Formal Verification of Systems Computational Logic Trustworthy Machine Learning
IUST Innovation Centre for Quantum Networks Data Security and Blockchain Research Laboratory Cryptography and Data Security Laboratory
Undergraduate: Linear Algebra, Foundations of Theory of Computation, Basic Programming, Advanced Programming, Theory of Computation, Principles of Computer Systems, Software Project Management