Dr Shirin Baghoolizadeh

Dr Shirin Baghoolizadeh

baghoolizadeh@iut.ac.ir
Office
Department of Electrical and Computer Engineering, Isfahan University of Technology, Isfahan, Iran
Phone
+983133915357
Positions
Assistant Professor of Electrical and Computer Engineering Department
Research Interests
Software engineering
Formal methods
AI for Software Engineering
LinkedIn
Google Scholar
Educational Background
  • Ph.D. in Software Engineering: Department of Computer Engineering, Sharif University of Technology, Tehran, Iran
    • Thesis Title: Model Checking of Continuous-Time Stochastic Games
  • M.Sc. in Software Engineering: Department of Computer Engineering, Sharif University of Technology, Tehran, Iran
    • Thesis Title: Model Checking of Probabilistic Activity Networks
  • B.Sc. in Software Engineering: Department of Electrical & Computer Engineering, Esfahan University of Technology, Esfahan, Iran
    • Thesis Title: Service-Oriented Architecture 

Courses