Ahmed Bouajjani is currently Professor at the University of Paris (formerly Paris 7 - Paris Diderot). He has obtained his PhD and his Habilitation in Computer Science from the University of Grenoble where he was Associate Professor. He was appointed in Paris in 1999 where he was leading the "Modeling and Verification" team, and he is leading currently the "Automata, Structures, and Verification" research cluster. His main research interests are formal methods, program verification, concurrency, automata and logic. He has published more than 140 scientific articles. Ahmed Bouajjani is Senior Member of the Institut Universitaire de France since 2013. He received in 2018 the Humboldt Research Award.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Scientist.