Welcome!

I am a PhD candidate working under supervision of Prof. Christoph Kirsch in the Department of Computer Science at the University of Salzburg.

CV

Research Interests

  • Formal Verification
  • Compilation
  • Concurrency

Note

Education

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