o Fatemeh Bakhshi, Ph.D. Student in Computer Engineering (Software) (started: Fall 2021)

o Saiedeh Ghafoori, Ph.D. Student in Computer Engineering (Network and Computing) (started: Fall 2021)

o Mahrad Hanaforoush, Ph.D. Candidate in Computer Engineering (Software) (started: Fall 2019)

o Arman Sanahmadi, Ph.D. Candidate in Computer Engineering (Network and Computing) (started: Fall 2018)

o Dr. Ali Naghash Asadi, Ph.D. in Computer Engineering (Software) (IUST-CE) (2015-2020):

· Thesis Title: Unified Power and Performance Modeling and Evaluation in Computing Systems

o Dr. Ali Sedaghatbaf, Ph.D. in Computer Engineering (Software) (IUST-CE) (2013-2018):

· Thesis Title: A Framework for Quantitative Evaluation of the Quality Attributes of Software Architecture

o Dr. Hamed Sepehrzadeh (Orojloo), Ph.D. in Computer Engineering (Software) (IUST-CE) (2012-2017):

· Thesis Title: A Method for Modeling and Quantitative Security Evaluation of Cyber-Physical Systems

o Dr. Soodeh Hosseini, Ph.D. Computer Engineering (Software) (IUST-CE) (2011-2016):

· Thesis Title: Modeling and Evaluation of the Effects of Software Diversification on Malware Propagation

o Dr. Jaafar Almasizadeh, Ph.D. in Computer Engineering (Software) (IUST-CE) (2009-2016)

· Thesis Title: A Formal Model for Privacy Quantification

o Dr. Mehrdad Ashtiani, Ph.D. in Computer Engineering (Software) (IUST-CE) (2011-2015):

· Thesis Title: A Computational Model of Trust in Support of Software Trust Management Components

o Dr. Hassan Motallebi, Ph.D. in Computer Engineering (Software) (IUST-CE) (2008-2013):

· Thesis Title: A Formalism for Modeling and Timing Analysis of Hybrid Systems