Teaching

Current Teaching

• Present2010

  Topics in Mathematical Logic

  Damghan University

• Present2010

  Proof Theory and Constructive Mathematics

  Damghan University

• Present2009

  Foundations of Computer Science

  Damghan University

• Present2011

  Advanced Computability Theory

  Damghan University

Teaching History

• 20102008

  Theory of Computation

  Damghan University