Ahmed Rezine

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

May 2024
PC member of Track 2 in ICCD24

Pc member of the "Software Architecture, Compilers and Tool Chains" track of the "42nd IEEE International Conference on Computer Design" (ICCD 2024).

May 2024
Chair of the E1 Topic at DATE 2025

Chair of the "Embedded Software Architecture, Compilers and Tool Chains" topic of the "Embedded Systems Design" track of DATE 2025.

May 2024
Paper at ICML

Paper on "Verification-Friendly Deep Neural Networks" accepted for publication at the Forty-first International Conference on Machine Learning.

April 2024
Article at TCAD

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.

-->