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

·         Modeling and Simulation

·         Computer Security, Privacy and Trust

·         Cyber-Physical Systems

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 (Fall 2017):

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

2.   Formal Methods in Software Engineering (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