Available master and bachelor projects
Research related master 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
Congratulations Dr. Baninajjar
Congratulation to Anahita Baninajjar for defending her PhD thesis "Towards Trustworthy Machine LEarning in High-Stakes Decision Making".
PC member of Track 2 in ICCD26
Pc member of the "Software Architecture, Compilers and Tool Chains" track of the "44th IEEE International Conference on Computer Design" (ICCD 2026).
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.