I am a PhD candidate working under supervision of Prof. Christoph Kirsch in the Department of Computer Science at the University of Salzburg. My co-advisor is Prof. Ana Sokolova.

Research Interests

  • Program Analysis
  • Symbolic Execution
  • Compilation
  • Formal Verification



MSc: Computer Engineering - Software, University of Tehran, Iran

Thesis: System-level quality of control management in stochastic real-time systems.

Supervisor: Dr. Mehdi Kargahi.

BSc: Computer Science, Shahid Beheshti University, Iran

Thesis: Investigation of ways to solve the problem of graph using Maple software.

Supervisor: Dr. Maryam Tahmasebi.

Contact Info

Email: firstname.lastname (AT) cs.uni-salzburg.at

Address: Jakob-Haringer-Strasse 2, 5020 Salzburg, Austria, Room: 2.19