Ahmed Bouajjani

Professor, Univ. Paris Diderot (Paris 7)
Modeling and Verification group, LIAFA laboratory

Mailing address: LIAFA, Univ. Paris Diderot (Paris 7), Case 7014, 75205 Paris cedex 13, France.

Office location: Sophie Germain Building, Office 4023 (4th floor), 8 Place FM/13, 75013 Paris, France.
(Entrance: From "Avenue de France", right-hand corner of the Xing with "Rue Alice Domon et Léonie Duquet". Map of the area.)
Warning : Please use this address 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 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
  • MPRI Internships Here.
  
  
• 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 2010 July 2010.
    
  • CONCUR 2010 August 2010.
    
  • ATVA'10 September 2010.
    
  • FSTTCS 2010 December 2010.
    
  • VMCAI 2011 January 2011.
    
  • ETAPS 2011 March-April 2011.
    
  • CONCUR 2011 September 2011.
  
  
• 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