Short Bio

Mehran Alidoost Nia is 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. 

Mehran Alidoost Nia has a PhD in Software Engineering from University of Tehran, and is a researcher in DRTS (Dependable/Distributed Real-Time Systems) Lab at University of Tehran. His research interests include Cyber-Physical Systems, Self-Adaptive and Autonomous Systems, Formal Verification and Information Security. 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 collaborating on Assuring Autonomy International Programme (AAIP). He is also a Lecturer in Computer Science and Engineering at Shahid Beheshti University of Tehran

Research Interests

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

• Self-Adaptive Systems

• Software Engineering

• Formal Modeling and Verification

• Information Security

• Programming Languages

Research

My primary research area are self-adaptive systems, formal verification, computer security and programming languages, encompassing theory, modeling, and design. I actively collaborate with experts in international research groups and institutes.

For specific work, see research & publications.

Professional Activities

Technical Program Committee:

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