Maghsood Salimi, Doctoral student

As of February 2021, I have started my Ph.D. studies at Mälardalen University's School of Innovation, Design, and Engineering. Additionally, I earned a Master's degree in Computer Science from the University of Tehran.

Currently, I'm a member of the SACSys project at Mälardalen University and I'm working on the safety and security of Cyber-Physical Systems.  

My research interests are formal methods, genetic algorithms, automata learning, and modeling and verification of concurrent and distributed systems.