Mehran Alidoost Nia

Registered user since Sat 20 Sep 2014

Name:Mehran Alidoost Nia
Bio:

Mehran Alidoost Nia currently is an Assistant Professor in the Faculty of Computer Science and Engineering at Shahid Beheshti University, and has a PhD in Software Engineering from 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.

Country:Iran
Affiliation:Shahid Beheshti University
Research interests:Verification, Software Engineering, Programming Languages, Security

Contributions

Show activities from other conferences

PLDI 2023-profile
View general profile