Mohammad Abdollahi Azgomi

Associate Professor

 

School of Computer Engineering

Iran University of Science and Technology

 

http://webpages.iust.ac.ir/azgomi/Azgomi.jpg

 

§  E-mail: azgomiATiust.ac.ir (academic)  or  azgomiATgmail.com (personal)

§  Office Phone: +98-21-73225325   Fax: +98-21-73021480

§  Address: Room 308, School of Computer Engineering, Iran University of Science and Technology, Hengam St., Resalat Sq., Tehran, Iran, Postal Code: 16846-13114

Education         

·       Ph.D. in Computer Engineering (Software) from Department of Computer EngineeringSharif University of Technology, Tehran, Iran (2005):

o   Dissertation: High-Level Extensions for Stochastic Activity Networks: Theories, Tools and Applications

o   Supervisor: Prof. Ali Movaghar

·       M.S. in Computer Engineering (Software) from Department of Computer Engineering, Sharif University of Technology, Tehran, Iran (1996):

o   Thesis: Design and Implementation of Security Services for Computer Networks

o   Supervisor: Prof. Ali Movaghar

o   Graduated with honors

·       B.S. in Computer Engineering (Software) from Department of Computer Engineering, Sharif University of Technology, Tehran, Iran (1991):

o   Project: A Text Retrieval System Based on Hypertext

o   Supervisor: Dr. Mehrdad Fahimi

·       High-School Diploma in Mathematics and Physics, Bijan Haghiri High-School, Sowme'eh SaraGilan, Iran (1987)

ACADEMIC/SCIENTIFIC POSITIONS

·       Associate Professor, Software Group, School of CE, IUST (2013-Present)

·       Member, Computer Networks Group, School of CE, IUST (2011-Present)

·       Director, Trustworthy Computing Laboratory (TwCL), School of CE, IUST (2006-Present)

·       Member, Editorial Board, The CSI Journal on Computing Science and Information Technology (CSIT) (2015-Present)

·       Member of the Board, Cyber-Physical Systems Society of Iran (CPSSI) (2018-Present)

·       Member fo the Scientific Committee, Iranian Society of Cryptology (ISC) (2010-Present)

·       Member, Software Group, School of CE, IUST (2005-Present)

·       Member, Computer Networks Group, School of CE, IUST (2013-Present)

·       Member, Computer Engineering Curriculum Setting Committee, Ministry of Science, Research and Technology of Iran (2014-2018)

·       Director, ICT Sector Liasion, Research Deputy, IUST (2016-2017)

·       Director, Computer Networks Group, School of CE, IUST (2015-2017)

·       Director, Information Technology Group, E-Learning Center, IUST (2006-2012)

·       Director, Scientific Affairs of Students, School of CE, IUST (2006-2008)

·       Assistant Professor, Software Group, School of CE, IUST (2005-2013)

RESEARCH INTERESTS

·       Areas of Interest: Petri Nets; Stochastic Models; Quantitative Analysis; Cyber-Physical Systems; Dependable Computing.

·       Research Lab.: Trustworthy Computing Laboratory (TwCL)

LINKS to PUBLICATIONS

·       Full List of Publications

·       Publons

·       Scopus

·       Google Scholar

·       DBLP

·       ORCID

PC MEMBERSHIPS

PC Memberships of Recent/Upcoming Conferences:

·        CSICC’20: PC Member & Computer Security Track Chair, The 25th National Annual CSI Conference of the Computer Society of Iran, Iran University of Science and Technology, Jan 1-2, 2020, Tehran, Iran.

·        NIC’98: PC Member & Multidisciplinary Track Chair, National Informatics Conference, Institute for Research in Fundamental Sciences (IPM), Dec. 15-16, 2019, Tehran, Iran.

·        ISCISC’19:  PC Member, The 16th International ISC Conference on Information Security and Cryptology, Ferdowsi University of Mashhad, Aug. 28-29, 2019, Mashhad, Iran.

·        ISCISC’18:  PC Member, The 15th International ISC Conference on Information Security and Cryptology, Shahid Rajaee Teacher Training University, Aug. 28-29, 2018, Tehran, Iran.

·        RTEST'18:  PC Member, The 2nd CSI Symposium on Real-Time and Embedded Systems and Technologies, University of Tehran (College of Engineering), May 9-10, 2018, Tehran, Iran.

·        ISCISC’17  PC Member, The 14th International ISC Conference on Information Security and Cryptology, Shiraz University, Sept. 6-7, 2017, Tehran, Iran.

·        CSICC’17: PC Member & Information Technology Track Chair, The 22nd National Annual CSI Conference of the Computer Society of Iran, Sharif University of Technology, March 11-13, 2017, Tehran, Iran.

·        CSIV'17PC Member, The 2nd Conference on Cyberspace Security Incidents and Vulnerabilities, Ferdowsi University of Mashhad, March 8-9, 2017, Mashhad, Iran.

·        FSEN’17:  PC Member, The 7th IPM International Conference on Fundamentals of Software Engineering, IPM, April 26-28, 2017, Tehran, Iran.

·        GAIWDSP'16: PC Member, The 2016 German-Austrian-Iranian Workshop on Digital Security and Privacy, AUT, Oct. 30, 2016, Tehran, Iran.

·        ISCISC’16  PC Member, The 13th International ISC Conference on Information Security and Cryptology, SBU, Sept. 7-8, 2016, Tehran, Iran.

·        CSICC’16: PC Member & Information Technology Track Chair, The 21st National Annual CSI Conference of the Computer Society of Iran, Institute for Research in Fundamental Sciences (IPM), March 9-11, 2016, Tehran, Iran.

·        RTEST'15:  PC Member, The CSI Symposium on Real-Time and Embedded Systems and Technologies, Sharif University of Technology, Oct. 7-8, 2015, Tehran, Iran.

·        ISCISC’15:  PC Member, The 12th International ISC Conference on Information Security and Cryptology, University of Gilan, Sept. 8-10, 2015, Gilan, Iran.

·        IKT’15:  PC Member, The 7th International Conference on Information Knowledge and Technology, Urmia University, May 26-28, Urmia, Iran.

·        ICEE'15:  PC Member, The 23rd Iranian Conference on Electrical Engineering, Sharif University of Technology, May 10-14, 2015, Tehran, Iran.

·        FSEN’15:  PC Member, The 6th IPM International Conference on Fundamentals of Software Engineering, Sharif University of Technology, April 22-24, 2015, Tehran, Iran.

·        CSICC’15:  PC Member, The 20th National Annual CSI Conference of the Computer Society of Iran, Ferdowsi University of Mashhad, March 3-5, 2015, Mashhad, Iran.

·        ISCISC’14:  PC Member & Network Security Track Chair, The 11th International ISC Conference on Information Security and Cryptology, University of Tehran, Sept. 3-4, 2014, Tehran, Iran.

·        FSEN’13:  PC Member, The 5th IPM International Conference on Fundamentals of Software Engineering, IPM, April 24-26, 2013, Tehran, Iran.

·        CSSE’11:  PC Member, The 2011 CSI International Symposium on Computer Science and Software Engineering, Sharif University of Technology,  June 15-16, 2011, Tehran, Iran.

PRESENTATIONS

·       "Model-Based Quantitative Security Evaluation: Challenges, Results of Past Researches and Future Outlook ," Keynote Speech, The 13th International ISC Conference on Information Security and Cryptology (ISCISC’16), SBU, Tehran, Iran, Sept. 7-8 (2016)

·       "A Framework for Probabilistic Model Checking of Security Protocols Using Coloured Stochastic Activity Networks and PDETool," The 5th International Symposium on Telecommunications (IST'10), ITRC, Tehran, Iran, Dec. 4-6 (2010)

·       "Modeling and Analysis of Agent-Based Specifications of Security Protocols Using CSANs and PDETool," The 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17 (2009)

·       "Towards an Anomaly Detection Technique Based on Kernel Methods for Web Services," The 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17 (2009)

·       "A Majority Voter for Intrusion Tolerant Software Based on N-Version Programming Techniques," The 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17 (2009)

·       "Combination of Duty and Historical Constraints in Role-Based Access Control," The 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17 (2009)

·       "An Architecture for E-Voting Systems Based on Dependable Web Services," The 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17 (2009)

·       "PDETool: A Multi-Formalism Modeling Tool for Discrete-Event Systems Based on SDES Description," The 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN'09), Paris, France, June 22-26 (2009)

·       "A Case Study on Application of CSAN Models on Network Modeling," The 5th International Symposium on Communication Systems, Networks and Digital Signal Processing (CSNDSP'06), Patras, Greece, July 19-21 (2006)

·       "A Modelling Tool for Hierarchical Stochastic Activity Networks," The 11th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ESM/ASMTA'04), Magdeburg, Germany, June 13-16 (2004)

·       "Towards an Object-Oriented Extension for Stochastic Activity Networks," The 10th Workshop on Algorithms and Tools for Petri Nets (AWPN'03), Eichstaett, Germany, Sept. 26-27 (2003)

·       "Coloured Stochastic Activity Networks: Preliminary Definitions and Properties," ICALP'03 Satellite Workshop on SPNs, Eindhoven, The Netherlands, June 28-29 (2003)

·       "Performance Evaluation of Computer and Communication Systems with SharifSAN," The 6th Annual International CSI Computer Conference (CSICC'01), Isfahan, Iran (March 2001)

·       "A Tool for Verification of Concurrent Systems Using Activity Networks," The 5th Annual International CSI Computer Conference (CSICC'01),, Tehran, Iran (March 2000)

·       "Security Enhancement for Network Services," The 3rd Annual International CSI Computer Conference (CSICC'97), Tehran, Iran (Dec. 1997)

RESEARCH PROJECTS

·       "Compositional Modeling of Hybrid Systems Based on Multi-Formalisms," Research Deputy, IUST, 2018.

·       "A Method for Mixed Evaluation of Performance and Power Consumption in Computer Systems," Research Deputy, IUST, 2017.

·       "A Method for Quantitative Evaluation of the Quality Attributes of Software Architecture," Research Deputy, IUST, 2016.

·       "Modeling and Quantitative Evaluation of the Security of Cyber-Physical Systems," Research Deputy, IUST, 2015.

·       "New Methods for Malware Propagation Modeling by Considering Software Diversity," Research Deputy, IUST, 2014.

·       "Security Verification of Concurrent Programs through Code Model Checking," Iran National Science Foundation (INSF), 2013-2014.

·       "A Computational Model to Formulate the Socio-Human Aspects of Trust," Research Deputy, IUST, 2013.

·       "Towards Programming Language Level Support for Code Model Checking," Research Deputy, IUST, 2012.

·       "Preparation of National Standards in Information Technology," Information Technology Organization of Iran, 2012.

·       "Development of a Distributed Simulator for Cyber Attacks," National Research Institute for Science Policy (NRISP) of Iran, 2011-2012.

·       "Security Verification of Two Network Management Software," Research Institute for ICT of Iran, 2011-2012.

·       "A Computational Model of Trust for Composed Services," Research Deputy, IUST, 2011.

·       "Implementation of a Performance Model Solver on Multi-Core Processors," Research Deputy, IUST, 2010.

·       "New Techniques for Analytic Solution of Performance Models by Employing the Computational Power of Multi-Core Processors," Research Deputy, IUST, 2009.

·       "Design and Implementation of an Object-Oriented Modeling Language for Discrete-Event Systems," Research Deputy, IUST, 2008.

·       "Modeling and Evaluation of Scheduling and Routing Techniques of Automated Guided Vehicles," Research Deputy, IUST, 2007.

·       "Dependability Evaluation with Coloured Stochastic Activity Networks," Research Deputy, IUST, 2006.

·       "Survey and Evaluation of Firewall Products," Iran Research Organization for Science and Technology (IROST), 2000.

ACHIEVEMENTS

·       Best Researcher of the Year, School of Computer Engineering, Iran University of Science and Technology, 2013, 2014, 2016 and 2017.

·       Best Paper, R. Fathi and M. Abdollahi Azgomi, "Implementation of a Symbolic State Space Generator for SDES Descriptions in PDETool Framework," The 17th Annual National CSI Computer Conference (CSICC'12), Sharif University of Technology, Tehran, Iran, March 6-8, 2012.

·       Best Paper, M. Akbarzadeh and M. Abdollahi Azgomi, "Modeling and Analysis of Agent-Based Specifications of Security Protocols Using CSANs and PDETool," The 6th International Conference on Innovations in Information Technology (Innovations'09), UAEU, Al Ain, Emirates, Dec. 15-17, 2009.

·       Best Bachelor Thesis Supervisor, Education Deputy, Iran University of Science and Technology, 2009.

·       Best Lecturer, IT Group, E-Learning Center, Iran University of Science and Technology, 2008.

·       Distinguished M.S. Graduate, Department of Computer Engineering, Sharif University of Technology, 1996.

COURSES

Currently Teaching (Winter 2019):

1.   Dependable Software Systems  (M.S. course, Sat./Mon.: 08:00-9:30)

2.   Software Testing (B.S. course, Sat./Mon.: 10:00-11:30)

 

o   Weekly Schedule (in Persian)

o   Full list of courses I have taught…

STUDENTS

Current Ph.D. Students:

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

·       Zeinab Hamze, Ph.D. Student in Computer Engineering (Software) (started: Fall 2018)

·       Hamid Reza Abdi, Ph.D. Candidate in Computer Engineering (Software) (started: Fall 2015)

·       Ali Naghash Asadi, Ph.D. Candidate in Computer Engineering (Software) (started: Fall 2015)

 

Graduated Ph.D. Students:

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

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

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

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

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

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

o   Now: Assistant Professor, Shahid Bahonar University of Kerman, Kerman, Iran.

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

o   Thesis Title: A Formal Model for Privacy Quantification

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

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

o   Now: Assistant Professor, Iran University of Science and Technology, Tehran, Iran.

·       Dr. Mohammad Reza Ebrahimi Dishabi, Ph.D. in Computer Engineering (Software) (IAU-SRB) (2010-2013):

o   Thesis Title: Improved Methods for Privacy Preserving Clustering Based on Wavelet Transforms

o   Now: Assistant Professor, Islamic Azad University, Miyaneh Branch, Miyaneh, Iran.

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

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

o   Now:  Assistant Professor, Kerman Graduate University of Technology, Kerman, Iran.

Full list of alumni M.S. students...


Last Modified:  Dec. 3, 19, (C) M. A. Azgomi