Scholar
Ahmed Bouajjani
Google Scholar ID: ia9cRMwAAAAJ
Professor Computer Science, Université Paris Cité
Citations & Impact
Citations
1,631
H-index
22
i10-index
51
Publications
20
Co-authors
58
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple papers, see list on DBLP and Google Scholar; Developed tools TReX and CELIA.
Research Experience
- Teaching at UFR d'informatique - Paris 7; Participated in several international conferences such as VMCAI 2017, POPL 2017, ETAPS 2017, etc.
Background
- Professor at Paris Diderot University (Paris 7); Senior member of the 'Institut Universitaire de France'; Head of the 'Automata, Structures, and Verification' pole of the IRIF laboratory; Member of the 'Modeling and Verification' team; Research interests include formal specification and verification, program verification, concurrency, model-checking algorithms, verification of infinite-state systems, automata and logics.
Miscellany
- IFIP Working Group 2.2: Formal Description of Programming Concepts; European Association for Programming Languages and Systems (EAPLS); European Association for Theoretical Computer Science (EATCS); Société Informatique de France (SIF); Association Française des Sciences et Technologies de l'Information (ASTI).
