Me in brief:

Short Bio

I have been Professor in Computer science at EPITA Toulouse and member of the Automata and Applications team of the EPITA Research Laboratory (LRE), since september 2025. I hold a Ph.D. in Computer Science from Henri Poincaré University and an Habilitation from the Faculty of Sciences of Tunis. I am also an international expert for the French Engineering Accreditation Commission (CTI).

Research Interests

I work on formal methods such as theorem proving and their application to the verification of security properties in protocols.

Teaching

I teach logic, programming languages and their foundations, as well as artificial intelligence