Available master and bachelor projects
Research related master and bachelor project proposals.
Associate Professor (Docent) in Computer Science at Linköping University. I look for ways to extend automated verification. I obtained my PhD degree under the supervision of Prof. Parosh Abdulla in Uppsala University and my Engineering degree from Tunisia's Polytechnic School.
Contact: firstname.aftername@liu.se
Accepted paper at DATE 2026
On “Hyperplane Input Space Cuts for Neural Network Verification” with Jonathan Hjort.
Accepted paper at ECAI 2025
On “Formal Local Implication Between Two Neural Networks” with Anahita Baninajjar and Amir Aminifar.
Accepted paper at RTCS 2025
On “Integrated Cost Optimization and Preemptable Scheduling for Real-Time Ethernet Applications” with Ayla Babazade and Soheil Samii.
Accepted paper at IJCNN 2025
On “Robustness and Privacy Interplay in Patient Membership Inference” with Anahita Baninajjar, Amin Aminifar, Kamran Hosseini and Amir Aminifar.