Mohammad Abdollahi Azgomi

Mohammad Abdollahi Azgomi is a Professor of Computer Engineering at the School of Computer Engineering, Iran University of Science and Technology (IUST), where he has been serving since 2005, progressing from Assistant Professor to Associate Professor and finally to Professor in 2022. He holds multiple significant roles including Director of the Trustworthy Computing Laboratory (TwCL) since 2006, and previously served as Research Deputy of the School of Computer Engineering from 2020-2023. His academic career is complemented by extensive service on editorial boards, scientific committees, and as a PC member for numerous international conferences in security, cryptography, and computer science.

Dr. Azgomi earned his Ph.D. in Computer Engineering (Software) from Sharif University of Technology in 2005 with a dissertation on 'High-Level Extensions for Stochastic Activity Networks: Theories, Tools and Applications,' supervised by Prof. Ali Movaghar. He also completed his M.S. (1996, with honors) and B.S. (1991) in Computer Engineering (Software) from the same institution, with his master's thesis focusing on 'Design and Implementation of Security Services for Computer Networks.'

His research spans several interconnected domains centered around dependable and secure computing systems. Dr. Azgomi specializes in modeling and simulation techniques, particularly Petri Nets and Stochastic Activity Networks, for quantitative evaluation of system properties. His work significantly contributes to security and privacy frameworks, trust models, and dependable software design. He has pioneered approaches for evaluating cyber-physical systems security through game-theoretic models and developed frameworks for assessing software architecture quality attributes under uncertainty.

Analysis of his recent publications reveals a strong research trajectory focusing on computational trust models, malware propagation dynamics in heterogeneous networks, and security evaluation of cyber-physical systems. His work demonstrates consistent application of formal methods like stochastic activity networks and Petri nets to solve complex security and dependability problems. There's a clear progression from foundational modeling techniques to sophisticated applications in cloud computing, web services security, and intrusion-tolerant systems.

• Best Researcher of the Year, School of Computer Engineering, IUST (2013, 2014, 2016, 2017)
• Best Paper Award at CSICC'12 for work on symbolic state space generation
• Best Paper Award at Innovations'09 for security protocol modeling
• Best Bachelor Thesis Supervisor (2009)
• Best Lecturer, IT Group, E-Learning Center (2008)
• Distinguished M.S. Graduate, Sharif University (1996)

Dr. Azgomi has supervised an impressive number of doctoral students, with 14 Ph.D. graduates from IUST and 6 from other universities. His current teaching includes graduate courses on Dependable Software Systems and undergraduate Research Methods and Presentation. He serves on the editorial board of the CSI Journal on Computing Science and Information Technology and has been actively involved in numerous international conferences as program committee member and chair.

The Trustworthy Computing Laboratory (TwCL), which Dr. Azgomi directs, focuses on rigorous engineering methodologies for evaluating dependability and security in information and communication technologies. The lab conducts research in formal methods, security modeling, dependable systems, and network security, with particular emphasis on Petri nets, stochastic activity networks, and quantitative evaluation techniques for security, privacy, and trust.