Recherche

• Thèmes de recherche :
  Vérification de systèmes informatiques; méthodes formelles; model checking; spécification et modélisation; automates temporisés; logiques temporelles; systèmes temps-réel; systèmes multi-agents.
• Une liste de publications .
• Le projet DOTS.
• Le projet QUASIMODO.
• Mon ancienne page Web au LSV.
• L'outil CMC (Compositional Model-Checking).

Enseignement

• UFR d'informatique - Paris 7
  
• Introduction à l'algorithmique (en direction des professeurs de mathématiques des lycées).
• Cours d'algorithmique M1 (années 2012--2013).
• Cours d'algorithmique L3 (années 2007--2011).
• Théorie et pratique de la concurrence (M1).
• Cours 2.8 "Fondements pour la vérification des systèmes temps-réel et concurrents " du MPRI
• 1ère Journée Francilienne de Programmation.

Et aussi...

• Le site du SNESUP-FSU
• Le site de "Sauvons la recherche"

Comment me joindre ?

Email: francois.laroussinie[at]liafa.univ-paris-diderot.fr
Tél: +33 (0)1 57 27 92 42 -- Fax: +33 (0) 1 57 27 94 09 --

Adresse postale : LIAFA, Université Paris Diderot -- Paris 7, Case 7014, 75205 Paris Cedex 13, France

Bureau: 175 rue du Chevaleret, Bureau 6A29, 75013 Paris, France.
( Adresse à utiliser pour Chronopost, DHL, FedEx, etc. )

Comment trouver le LIAFA ? : Métro line 6 (Chevaleret), ou line 14 (Bibliothèque). Encore plus d'informations...