Research Interests:
  1. Computability(2) (wiki) and Complexity Theory from a Logical Viewpoint, Specially:
      • Proof Theoretical Approaches (Bounded and Weak Arithmetics, Frege Proof Systems, ...)
      • Finite Model Theory (Descriptive Complexity)
  2. Automated Theorem Proving/Proof Assistants
  3. Proof Theory(wiki) and Computer Science Logic in General
  4. Programming Languages
  • Constructiveness in Mathematics

Other Interesting Fields:

  1. Operating Systems
  2. Security
  3. Quantum Computation
  4. Natural Language Processing
  • Game Theory, specially Combinatorial Game Theory
  • Philosophy/Methodology of Mathematics/Computer Science

Research Experience:

  • Fall 2007-*, Research Assistant at Institute for Study in Theoretical Physics and Mathematics, Mathematics Department, Logic Group,
  • Summer 2007-*, Member of Logic Group at Sharif University of Technology, Department of Mathematical Sciences,
  • Fall 2004-*, Member of Domain Theory Research Group at Amirkabir University of Technology, Department of Mathematics and Computer Science,
  • Fall 2002-Summer 2004, Research Assistant of Dr. Raie, Amirkabir University of Technology, Department of Electrical Engineering.

Teaching Experience:

  1. Teaching Assistantships:
    • Fall 2007, Theory of Computer Science (Grad.), Dr. Mohsenipour, Sharif University of Technology, Department of Mathematical Sciences,
    • Fall 2007, Set Theory, Prof. Ardeshir, Sharif University of Technology, Department of Mathematical Sciences,
    • Spring 2006, Mathematical Logic, Dr. Didehvar, Amirkabir University of Technology, Department of Mathematics and Computer Science,
    • Fall 2005, Mathematical Logic, Dr. Alizadeh, Amirkabir University of Technology, Department of Mathematics and Computer Science,
    • Spring 2005, Mathematical Logic, Dr. Pourmahdian, Amirkabir University of Technology, Department of Mathematics and Computer Science,
    • Fall 2004, Foundations of Mathematics, Dr. Pourmahdian, Amirkabir University of Technology, Department of Mathematics and Computer Science,
    • Spring 2002, Programming I, Dr. Raie, Amirkabir University of Technology, Departments of Electrical Engineering.
  2. Teaching
    • Taught various topics (Combinatorics, Graph Theory, Algorithms Design and Analysis, Data Structures, Combinatorial Game Theory (Fair Games), Programming in Pascal, ...), training high school students for Informatics Olympiad at various institutions (Western Azerbaijan's Department of Education,NODET Centers, NGOs, ....),
    • Preparing University Students for ACM ICPC at Amirkabir University of Technology,
    • Private Tutor for various Undergraduate Computer Science and Mathematic Courses,
    • Private Tutor for High School Mathematics.
Software Engineering Experience:
  • 2005 Automation of Sale System, Farmed Sarir Company (فارمد سریر) (with M. Ghermezcheshmeh, H. Parvardeh, A. Rezavani, A. Didandeh)

Served as:

  • 2004-2005 Member of Students Scientific Committee at Department of Mathematics and Computer Science, Amirkabir University of Technology,
  • 2004-2005 Coordinator of Weekly Logic Seminars, Amirkabir University of Technology,
  • 2000 Member of Scientific Committee of First National College Programming Contest (CPC) Western Azerbaijan.

Skills:

  1. Technical:
      • Proficient in Programming with C/C++, Pascal, Basic,
      • Experienced with ML/SML, x86 Assembly, LaTeX,
      • Experienced with Rational Rose,
      • Experienced in Reverse Engineering and Patching Software,
      • Experienced with Network Security,
      • Familiar with Z80 Assembly, Prolog, C#, Java, Python, HTML,
      • Familiar with Proof Assistant Coq,
      • Familiar with Mathematica, MatLab.
  2. Language:
      • Native in Farsi (Persian), Azari, Turkish,
      • Good in English (iBT 106/120, Reading 30/30, Listening 29/30, Speaking 22/30, Writing 25/30),
      • Basic understanding in Arabic, Kurdish.