Mikael is curently a PhD. Candidate in Computer Science at the School of Innovation, Design, and Technique (IDT), Division of Networked and Embedded Systems (NES) of Mälardalen University, Sweden.
The VeriDevOps EU project funds Mikael's PhD studies.
Mikael is supervised by Prof. Eduard Paul Enoiu, Prof. Cristina Seceleanu and Prof. Wasif Afzal.
Mikael is currently working on test automation of Programmable Logic Controller (PLC) programs (ST/FBD) using Search-based algorithms.
Mikael's interested fields of research span a wide range of different subjects in the field of software/network security such as PLC Software Testing, Automated Test Case Generation for PLC programs, Search-based Testing, Catching Bugs Using Formal Verification, Malware Detection by analyzing the network flows, and SDN.
Mikael is highly interested in conducting empirical studies in the field of software security and aiming at achieving the primary goal of his PhD studies, till now, he published three papers in the field of PLC software testing.
Mikael is skilled in Software Testing of Industrial Control Programs, Test Case Generation, Test Automation, Network Security, Malware detection, Machine Learning, Artificial Intelligence, SDN, IoT, Distributed Data Center (DCC), Computer networks, SQL injection, Hardware/Software/Network Troubleshooting, C++/Python Programming.
The close collaboration of Industry and Academia in Sweden interests Mikael, thus he applied all his scientific contributions to real-world industrial case studies of a big automation company in Sweden.
Mikael is also involved in the following courses at Mälardalen University (MDU) as a teaching/lab assistant:
DVA245-Datastrukturer, algoritmer och programkonstruktion med Python
DVA463-Research methods in computer science
Mikael has an MSc in Information Technology Engineering (Computer Networks) from Islamic Azad University, Mashhad Campus, GPA of 94.7/100 (A1).
During his Master's studies, Mikael held a second place among top IT engineering students during his Master's studies at Islamic Azad University, Mashhad Campus.
Mikael also has a B.Sc. degree in Computer Software Engineering from the Islamic Azad University, Mashhad Campus.
He is also an IELTS "Good User" with an overall band score of 7.0.
Mikael has a teamwork spirit and used to work in numerous different private and non-private companies in the field of IT and economic affairs.
Mikael has received numerous letters of commendation and testimonials from important individuals such as the Mayor of Mashhad because of his remarkable achievements.
Mikael's interested fields of research are:
-Testing Programmable Logic Controller (PLC) Software (FBD/ST)
-Automated Test Case Generation
-PLC Programming (FBD/ST)
-Static analysis of PLC programs
-Verified Translation of PLC programs to high-level programming languages such as Python
-Industrial Control Systems (ICS)
-Malware Detection in Computer Networks especially IoT and SDN
-Catching Bugs using Formal Methods
-Networked and Embedded Systems
-Malware Detection using analyzing the network flows
Automating Test Generation of Industrial Control Software through a PLC-to-Python Translation Framework and Pynguin (Feb 2024) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Cristina Seceleanu, Wasif Afzal 30th Asia-Pacific Software Engineering Conference (APSEC2023)
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems (May 2023) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu 19th Workshop on Advances in Model Based Testing (A-MOST 2023)
PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator (Apr 2023) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu SAC2023, The 38th ACM/SIGAPP Symposium On Applied Computing (SAC 2023)
Choosing a Test Automation Framework for Programmable Logic Controllers in CODESYS Development Environment (May 2022) Mikael Ebrahimi Salari, Eduard Paul Enoiu, Wasif Afzal, Cristina Seceleanu NEXTA 2022 - 5th International Workshop on the Next Level of Test Automation (NEXTA)