Ahmed Bouajjani
Email: abou@liafa.univ-paris-diderot.fr
Phone: +33 (0) 1 57 27 92 64 --
Fax: +33 (0) 1 57 27 94 09 --
( Please do not dial the (0) if you are outside France)
Mailing address: LIAFA, Univ. Paris Diderot (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.
-
Teaching (in french)
-
Forthcoming Events
-
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