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

January 2024
New PhD student

Iam looking for a new PhD student to work on extending the applicability of verification to Reinforcement learning. See here for more information about the project. We will soon announce the position. Contact me if you have questions.

November 2023
Co-Chair of the E1 Topic at DATE 2024

Co-chair of the "Embedded Software Architecture, Compilers and Tool Chains" topic of the "Embedded Systems Design" track of DATE 2024.

June 2023
Paper at ICASSP

Paper Safe Deep: A Scalable Robustness Verification Framework for Deep Neural Networks with Anahita Baninajjar, Kamran Hosseini and Amir Aminifar accepted at ICASSP 2023-2023 IEEE International Conference on Acoustics, Speech and Signal Processing.

December 2022
PhD defence

Congratulation to Adrian Horga for defending his PhD thesis about Performance and Security Analysis for GPU-Based Applications.