Mehran Alidoost Nia

Mehran Alidoost Nia

PhD in Software Engineering, Researcher at University of Tehran and AAIP Fellow at University of York


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 is also a Programme Fellow at the University of York, and collaborating on Assuring Autonomy International Programme (AAIP) under supervision of Radu Calinescu since 2020.

Teaching experience:
University of Tehran -> Design of Programming Languages
University of Guilan -> Progmming Languages, OS Lab, DB Lab and Network Lab.
Recent PC Member of International Conferences
PLDI 2022 Artifact Evaluation Committee, ICACCP 2021, ICCAIS 2020, ICAIMAT 2020, TELKOMNIKA 2019.
International Journal Referring:
IEEE TDSC, IEEE TIFS, Elsevier's JNCA and SUSCOM, Computers & Security, IEEE Security & Privacy, IET Software,Springer Journal of Supercomputing, Wiley Security and Privacy and a few more.

Last Updated: September 23, 2021