Short Bio

Mehran Alidoost Nia has a PhD in Software Engineering from University of Tehran, and currently is an Assistant Professor in the Faculty of Computer Science and Engineering at Shahid Beheshti University of Tehran. He was previously a researcher in the DRTS (Dependable/Distributed Real-Time Systems) Lab at the University of Tehran. His research interests include Self-Adaptive and Autonomous Systems, Information Security, Formal Verification and Software Engineering. His research in PhD program was about probabilistic analysis of self-adaptive and autonomous systems entitled "Runtime Probabilistic Analysis of Self-Adaptive Systems via Formal Approximation Techniques", that was supervised by Mehdi Kargahi (University of Tehran) and Alessandro Abate (University of Oxford). He was a Programme Fellow at the University of York, and collaborated on Assuring Autonomy International Programme (AAIP) from 2020 to 2023.

Mehran Alidoost Nia is also an IT Strategist, Chief Technology Officer and VP of Engineering in major software/technology-based projects. He has deep experience in providing high-level IT solutions for business/industrial projects, development of advanced web technologies, a secure implementation of software systems, architectural design, advanced techniques in software engineering, major software productions, implementation of network/software infrastructures, and software technology development in the automotive industry. 

Research Interests

My research experience and interests include but are not limited to:

• Self-Adaptive Systems

• Information Security

• Software Engineering

• Formal Verification

I actively collaborate with experts in international research groups and institutes. For more details, see research & publications.

Professional Activities

Technical Program Committee:

• 2024: CyberC'24

• 2023: PLDI'23 AEC, ECOOP'23 ERC and ECOOP'23 AEC 

• 2022: PLDI'22 AEC 

• 2021: ICCAIS, ICACCP 2021

• 2020: ICCAIS, ICAIMAT 2020

• 2019: ICCAIS, EECSI, TELKOMNIKA

• 2018: IoTsm, EECSI

• 2017: EECSI, ICITECH, WSCAR

• 2016: ICIW , SMART

International Journal Referring:

• Computers & Security (Top Reviewer)

• IEEE Transactions on Dependable and Secure Computing (Actively Reviewing)

• IEEE Transactions on Information Forensics and Security (Actively Reviewing)

• Systems and Software (Actively Reviewing)

• IET Software 

• Journal of Network and Computer Applications

• Sustainable Computing-Elsevier

• Wiley Security and Privacy

• IEEE Security & Privacy 

• IET Generation, Transmission & Distribution

• The Journal of Supercomputing

• Security and Communication Networks

• Information Systems Frontiers

• Journal of Theoretical and Applied Electronic Commerce Research

Organizing Committee of International Events:

• ISCISC 2015

• Workshop on Information Security and Cryptology

• Workshop on Computer Network Security

• Workshop on Software Security and Secure Software Engineering

Membership in International Associations

• Association for Computer Machinery (ACM)

  • SIGPLAN

  • SIGSAC

• International Association for Cryptologic Research (IACR)

• Mathematical Association of America (MAA)

• International Association of Engineers (IAENG)

• International Association of Computer Science & Information Technology (IACSIT)

• Iranian Society of Cyber-Physical Systems (ISCPS)

• Iranian Society of Cryptology (ISC)

• IRANIAN E-COMMERCE SCIENTIFIC ASSOCIATION (IECA)

For more details, see membership page.