Me in brief

Full Professor in Computer Science, with a career spanning over 25 years in academia and research. My expertise lies in formal methods for verification and security, with a strong focus on cryptographic protocols, electronic voting systems, and real-time systems. I have supervised several PhD theses.

Short Bio

Full Professor of Computer Science at EPITA Toulouse and member of the SECUSYS team at the LRE laboratory.

Holding a Ph.D. from the University of Grenoble and an Habilitation from the Faculty of Sciences of Tunis, I have held several academic leadership roles, including Director of Studies and Deputy Director of the École Polytechnique de Tunisie.

My career also has a strong international dimension: I was an International Fellow at the Stanford Research Institute (SRI), an international expert for the CTI (Commission des Titres d'Ingénieur), and a member of the global jury for the Microsoft Imagine Cup competition. I also established and led a research team in formal verification and computer security.

Research Interests

Formal Methods and Verification: Model checking, symbolic verification, specification and verification of real-time and hybrid systems, duration calculus, formal testing.

Security and Cryptography: Design and analysis of security protocols, cryptographic protocols, electronic voting protocols (e-voting).

Theoretical Computer Science: Automata theory, decidability, temporal logics.

Teaching

Algorithmics & Programming: Advanced Algorithmics, Python Programming, C Programming.

Theoretical Foundations: Theory of Languages and Automata, Computational Complexity, Logic.

Formal Methods & Security: Formal Specification and Verification of Real-Time Systems, Model Checking, Security Protocols (including Electronic Voting Protocols), Cryptography.

Core Computer Science: Operating Systems, Discrete Mathematics for Computer Science.