Mehran Alidoost Nia
PhD in Software Engineering from the University of Tehran, Tehran, Iran
VP of Engineering/Chief Technology Officer/Software Engineer
Assistant Professor of Computer Engineering in the Faculty of Computer Science and Engineering at Shahid Beheshti University, Tehran, Iran
Contact Info:
Email: x@y.z (x=nnmehran, y=gmail, z=com)
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 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.
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.
Technical Program Committee:
2025: PLDI'25 AEC
2024: ARTMAN 2024 @ACSAC 2024 (PC), ECOOP 2024 (ERC) and 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
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)
Journal of Theoretical and Applied Electronic Commerce Research
Organizing Committee of International Events:
Workshop on Information Security and Cryptology
Workshop on Computer Network Security
Workshop on Software Security and Secure Software Engineering
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.