Mohammad Abdollahi Azgomi

Associate Professor

 

School of Computer Engineering (CE)
Iran University of Science and Technology (IUST)  


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

§  Office Phone: +98-21-73225325

§  Office Fax: +98-21-73021480 or 73021220

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


§  ResearcherID: D-3734-2009

§  ORCID: 0000-0002-9605-8412

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

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

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

·        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, Scientific Committee, Iranian Society of Cryptology (ISC) (2010-Present)

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

·        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

·        Performance and Dependability Modeling

·        Modeling and Analysis of Security, Privacy and Trust

·        Dependable and Secure Software Development

o   Research Laboratory: Trustworthy Computing Laboratory (TwCL)

PUBLICATIONS

·        Full List of Publications

·        Google Scholar

·        DBLP

·        ORCID

PC MEMBERSHIPS

PC Memberships of Recent/Upcoming Conferences:

·        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, 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

·        "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, 2012, 2013 and 2015.

·        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 2017):

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:

·        Ali Sedaghatbaf, Ph.D. Candidate in Computer Engineering (Software) (started: Winter 2013)

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

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

·        Ahad Mozaffari Fard, Ph.D. Student in Computer Engineering (Computer Networks) (started: Winter 2016)

 

Graduated Ph.D. Students:

·        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: June 25, 2017, (C) M. A. Azgomi