Ahmed Bouajjani

Ahmed Bouajjani is a Professor at Paris Diderot University (Univ. Paris 7) and a Senior member of the Institut Universitaire de France. He leads the Automata, Structures, and Verification (ASV) pole of the IRIF laboratory and is a member of the Modeling and Verification team. His work focuses on formal methods, program verification, and automata theory, particularly for concurrent and infinite-state systems.

• Research Interests: Formal specification and verification, program verification, concurrency, model-checking algorithms, verification of infinite-state systems, automata, and logics.
• Teaching: He teaches courses such as Introduction to Artificial Intelligence and Game Theory, Formal Methods for Verifying Systems, and Algorithmic Program Verification at the university.
• Scientific Contributions: His recent articles address weak memory models, robustness in distributed systems, and inter-procedural analysis of list-manipulating programs. Keywords include Computer Science, Formal Verification, and Concurrency.
• Awards: He is a Senior member of the Institut Universitaire de France, a prestigious academic recognition.
• Labs and Teams: He is affiliated with the IRIF laboratory and its Modeling and Verification team, contributing to collaborative research in automata and verification.