Mikael Ebrahimi Salari, Doctoral student

Mikael is a computer doctoral student at the School of Innovation, Design, and Engineering, Division of Networked and Embedded Systems of Mälardalen University

He is a member of the VeriDevOps EU project

He's currently working on automated test case generation for PLC programs

He is supervised by Eduard Paul Enoiu, Cristina Seceleanu and Wasif Afzal

He has an MSc in Information Technology Engineering (Computer Networks) from Islamic Azad University, Mashhad Campus, GPA of 94.7/100 (A1)

He held the second place among top IT engineering students in Islamic Azad University, Mashhad Campus (2016-17)

He also has a B.Sc. degree in Computer Software Engineering from the Islamic Azad University, Mashhad Campus

He is an IELTS good user with an overall band score of 7.0

My interested fields of research are:

-Software Testing

-Embedded Systems

-Formal Methods

-Computer Networks

-Network Security

-Automated Test Case Generation


-Networked and Embedded Systems


-Malware Detection

-IoT/IIoT Security


-Software Testing of Industrial Control Systems