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

||     Papers    Courses Students         || TwCL    ||    Weekly Schedule   ||

Education

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 Sara, Gilan, Iran (1987)

Academic/Scientific Positions

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

  • Director, Computer Networks Group, School of CE, IUST (2015-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, Software Group, School of CE, IUST (2005-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)

  • 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

Research Laboratory: Trustworthy Computing Laboratory (TwCL)

Publications

PC Memberships

PC Memberships of Recent/Upcoming Conferences:

  • CSICC17: PC Member & Information Technology Track Chair, The 21nd National Annual CSI Conference of the Computer Society of Iran, Sharif University of Technology, March 11-13, 2017, Tehran, Iran.

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

  • FSEN17:  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.

  • ISCISC16  PC Member, The 13th International ISC Conference on Information Security and Cryptology, SBU, Sept. 7-8, 2016, Tehran, Iran.

  • CSICC16: 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.

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

  • IKT15:  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.

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

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

  • ISCISC14:  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.

  • FSEN13:  PC Member, The 5th IPM International Conference on Fundamentals of Software Engineering, IPM, April 24-26, 2013, Tehran, Iran.

  • CSSE11:  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 (ISCISC16), 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
  1. "Modeling and Quantitative Evaluation of the Security of Cyber-Physical Systems," Research Deputy, IUST, 2015.

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

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

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

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

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

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

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

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

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

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

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

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

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

  15. "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 (Fall 2016):

  1. Performance Evaluation of Computer Systems (PECS) (M.S. course, Sat./Mon.: 08:15-9:45)

  2. Formal Methods in Software Engineering (FMSE) (B.S. course, Sat./Mon.: 10:00-11:30)

Weekly Schedule (in Persian)

Full list of courses I have taught

Students

Current Ph.D. Students:

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

  • Hamed Orojloo, Ph.D. Candidate in Computer Engineering (Software) (started: Fall 2013)

Graduated Ph.D. Students:

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

    • Thesis Title: Modeling and Evaluation of the Propagation of Malware with Considering the Effects of Software Diversification

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

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

    • Thesis Title: A Formal Model for Privacy Quantification

  • 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

    • 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):

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

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

  • 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

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

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

 

Last modified: Sept. 07, 2016, (C) M. A. Azgomi