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.
Having worked in the industry for a long time as a senior developer and CTO, finally leading Arpa company as CEO, I decided to pursue my academic interests.
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.
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments (Sep 2019) Maghsood Salimi, Amin Majd , Mohammad Loni, Tiberiu Seceleanu, Cristina Seceleanu, Marjan Sirjani, Masoud Daneshtalab, Elena Troubitsyna 6th Conference on the Engineering of Computer Based Systems (ECBS 2019)