Accepted paper at CIKM 2026
On “Uncovering Locally-Persistent Bias with Formal Guarantees and Debiasing” with Anahita Baninajjar and Amir Aminifar.
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
Available master and bachelor projects
Research related master project proposals.
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.