Assistant Professor (Computer Sciences group, Department of Mathematical Sciences, Sharif University of Technology, since March 2008)
Vice Chairman of Academic Affairs of Department of Mathematical Sciences (June 2012 - April 2015)
Researching at CMAS Lab (Complex and Multi Agent System Lab: http://maslab.sharif.ir/)
Researching at Logic Group of Sharif University of Technology (http://logic.sharif.ir/)
Formal Methods: Modal Logic, Epistemic Logic, Process Algebra, Specifying and Verifying Security Protocols
Multi agent Systems: Agent based Modeling, Social Networks, Computational Modeling of Social Sciences,
Computability theory and Complexity theory
Distributed Artificial Intelligence (for CMAS Lab)
Advanced Logic (formal Verification)
Multi Agent System Theory
Social Game Theory
Automata and Languages Theory
Theory of Computation
S. Abbasi, , Authentication in Parallel Concurrent Execution of Protocols, 2010
J. Mohammadi, Formal Verification of privacy using Applied Pi Calculus and Epistemic Logic, 2011
S. Feghhi, Punishment Normative Systems on multi-agent Markov chain processes, 2011
M. Rostamian, A Social Network Modeling of Consumer in a Cournot Duopoly Model, 2012
S. Gorji, Modeling Group Formation in Social Network using Evolutionary Game Theory, 2012
R. Ghasemi, Dynamic Multi-stage Multi-secret sharing schema, 2012
(with M. Ardeshir) Decidability and Specker Sequences in Intuitionistic Mathematics, 2009, Mathematical Logic Quarterly.
(with M. Ardeshir) The double Negation of the Intermediate Value Theorem, 2010, Ann. Pure Appl. Logic.
Process Algebraic Modeling of Authentication Protocols for Analysis of Multiple Session Executions, 2010, ISECURE Journal.
Authentication in Parallel Multiple-Sessions Execution of Protocols, 2007, ISCISC Conference.
A Critique of Logics for Authentication in Formalizing Belief, 2005, ISCISC Conference.
(with M. Ardeshir) On the Constructive Notion of Closure Maps, To appear in Journal of Mathematical Logic Quarterly.
(with M. Ardeshir) A solution to the Surprise Exam Paradox in Constructive Mathematics, To appear in Journal of Review of Symbolic logic.
Computation Environment 1, An interactive Semantics for Turing Machines (which P is not equal to NP considering it), arXiv, 1205.5994v1. 2012.
Computation Environment 2, Persistently Evolutionary Semantics, arXiv, 1207.0051v1. 2012.
(with M. Ardeshir) Epistemic Learning Programs (A Calculus for Describing Epistemic Action Models), 2012, Submitted.
(with M. Amoozgar) A computational Modeling of Rumor Dissemination, 2012, submitted (done in CMAS lab).
(with Z. Shirmohammadi) A Proposed Optimization Algorithm based on Expansion of Fashion in Human Society, 2012, manuscript (done in CMAS Lab).
(with S. Feghhi), A Punishment Normative System on multi-agent Markov chain processes, 2012, manuscript (done in CMAS Lab).
A short study of Suhrawardi’s Philosophy, 2011, manuscript, Persian.
Second Prize (Silver Medal) of National Mathematics Competition, 2000.