Mikael Ebrahimi Salari, Doctoral student

Mikael is a Ph.D. Candidate in Computer Science at the School of Innovation, Design, and Engineering, Division of Networked and Embedded Systems of Mälardalen University, Sweden.

He is a member of the VeriDevOps EU project

He is currently working on testing Programmable Logic Controller (PLC) programs.

He recently published the first paper of his Ph.D. studies at the IEEE ICST 2022 conference regarding the evaluation of available Test Automation Tools of one of the most popular PLC programming IDEs named CODESYS.

The research fields that Mikael is interested in are Software Testing, Software Security and Safety, Automated Test Case Generation for ICS programs, Catching Bugs Using Formal Verification, Network Security, Internet of Things (IoT), Software-Defined Networking (SDN).

Mikael is supervised by Dr. Eduard Paul Enoiu, Prof. Cristina Seceleanu and Prof. Wasif Afzal

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

Mikael 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

-Fuzzing

-Networked and Embedded Systems

-Model-checking

-Malware Detection

-IoT/IIoT Security

-SDN

-Software Testing of Industrial Control Systems