Saeid Pashazadeh received a B.Sc. degree in computer engineering from the Sharif University of Technology, Tehran, Iran, in 1995; the M.Sc. and Ph.D. in computer engineering from the Iran University of Science and Technology, Tehran, Iran, in 1998, 2010. He is currently an associate professor in the Department of Information Technology, the Faculty of Electrical and Computer Engineering, University of Tabriz, Tabriz, Iran. His research interests include formal verification, software engineering, modeling and verification, performance evaluation, distributed systems.