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
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.
Co-chair of the "Embedded Software Architecture, Compilers and Tool Chains" topic of the "Embedded Systems Design" track of DATE 2024.
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.
Congratulation to Adrian Horga for defending his PhD thesis about Performance and Security Analysis for GPU-Based Applications.