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
Paper on "Integrated Cost Optimization and Preemptable Scheduling for Real-Time Ethernet Applications" accepted for publication at the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Paper on "Robustness and Privacy Interplay in Patient Membership Inference" accepted for publication at the International Joint Conference on Neural Networks (IJCNN).
Article "On Modeling and Detecting Trojans in Instruction Sets" accepted for publication in the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ( TCAD).
Pc member of the "Software Architecture, Compilers and Tool Chains" track of the "42nd IEEE International Conference on Computer Design" (ICCD 2024).