Mikael Ebrahimi Salari, Doctoral student

E-mail:
mikael.salari@mdh.se
Room:
U1-146
Phone:
+4621101439
Divisions:
Division of Computer Science and Software Engineering
Division of Networked and Embedded Systems
Research groups:
Formal Modelling and Analysis of Embedded Systems
Software Testing Laboratory
Web:
Official university homepage
Linkedin page


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

-Search-based Testing

-Static Verification

-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

-Network Security

-Catching Bugs using Formal Methods

-Fuzzing

-Networked and Embedded Systems

-Model-checking

-Malware Detection using analyzing the network flows

-IoT/IIoT Security

-SDN