ContactEducationResearch InterestsLaboratory
  • Assistant Professor
  • PhD in Computer Science.
  • Leiden Institute of Advanced Computer Science, Netherlands.
  • 2011
  • PhD in Software Engineering.
  • Sharif University of Technology, Iran.
  • 2008
  • Software and Systems Verification
  • Distributed Systems
  • Programming Languages
  • Logic in Computer Science
  • Theory of Computation and Computational Complexity
  • Philosophy of Computation
  • Room 507
  • Phone No.  +9821 6616 6699