Paper at ICML
Paper on "Verification-Friendly Deep Neural Networks" accepted for publication at the Forty-first International Conference on Machine Learning.
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
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.
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.
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.