Ahmed Bouajjani Professor, Paris Diderot University (Univ. 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

Office location: Sophie Germain Building, Office 4023 (4th floor), 8 Place Aurélie Nemours, 75013 Paris, France.
Entrance of the building: From "Avenue de France", right-hand corner of the Xing with "Rue Alice Domon et Léonie Duquet". Map of the area.)
Please use this address (Office location) for express mail with courier service - DHL, FedEx, and the like.

Access info : Métro line 14 and RER line C (Bibliothèque F. Mitterrand), Tramway line T3a (Porte de France), Bus lines 27 (Regnault), 62, 64, 89, 132, 325.
Here are more informations on how to get to IRIF.

• Research
  Formal specification and verification, program verification, concurrency, model-checking algorithms, verification of infinite-state systems, automata and logics.
  • List of Publications. Publications on DBLP and Google Scholar.
  • Tools: TReX, CELIA.
  • MPRI Internships Here.
  
  
• Teaching (in french)
  • UFR d'informatique - Paris 7
  • Introduction a l'Intelligence Artificielle et a la Theorie des Jeux
  • Methodes Formelles pour la Verification de Systemes
  • Cours MPRI 2.9.2 : Verification Algorithmique de Programmes -- Algorithmic Program Verification
    
  
  
• Forthcoming Events
  • VMCAI 2017 January 2017.
  • POPL 2017 January 2017.
  • ETAPS 2017 April 2017.
  • NETYS 2017 May 2017.
  • FORTE 2017 June 2017.
  • CAV 2017 July 2017.
  
  
• Miscellaneous
  • IFIP Working Group 2.2: Formal Description of Programming Concepts IFIP WG 2.2
  • European Association for Programming Languages and Systems EAPLS
  • European Association for Theoretical Computer Science EATCS
  • Societe Informatique de France SIF
  • Association Francaise des Sciences et Technologies de l'Information ASTI