Ahmed Bouajjani

Professor at the University of Paris 7
Modeling and Verification group, LIAFA laboratory

Mailing address: LIAFA, University of Paris 7, Case 7014, 75205 Paris cedex 13, France.

Office location: 175 rue du Chevaleret, Office 6A21 (6th floor), 75013 Paris, France.
(Warning : Please use this address for express mail with courier service - DHL, FedEx, and the like )

Access info : Métro line 6 (Chevaleret), or line 14 (Bibliothèque). Here are more informations on how to get to LIAFA.

• Research
  Formal specification and verification, algorithmic verification techniques, infinite-state systems, real-time systems, program verification, automata and logics.
  • List of Publications. Page on the DBLP server.
  • The TReX tool
  • Projects
  
  
• Teaching (in french)
  • UFR d'informatique - Paris 7
    
  • Master Ingénierie Informatique de Paris 7 , M2 : Parcours Logiciels Critiques
  • Master Parisien de Recherche en Informatique (MPRI) , Cours 2.9 : Vérification de Systèmes Dynamiques et Paramétrés
  
  
• Forthcoming Events
  • CAV 2009 June-July 2009.
    
  • CIAA 2009 July 2009.
    
  • CONCUR 2009 September 2009.
  
  
• Miscellaneous
  • European Association for Theoretical Computer Science EATCS
  • Association Francaise d'Informatique Fondamentale AFIF (ex AFIT)
  • Association Francaise des Sciences et Technologies de l'Information ASTI