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 .
• Un prototype pour le model-checking de QCTL.
• Le projet DOTS.
• Le projet QUASIMODO.
• Mon ancienne page Web au LSV.
• L'outil CMC (Compositional Model-Checking).

Enseignement

• La page des conférences "On éteint, on réfléchit, on discute".
• Une chaîne peertube où on cause d'algorithmique dans les graphes.
  
  
• Cours d'algorithmique M1 (année 2024--2025).
• Formal Verification M1 (ENS Saclay) (année 2023--2025).
• Cours 2.8 "Techniques avancées de vérification" du MPRI
• Cours Programmation Efficace L3 (année 2023--2024).
• Vérification de systèmes probabilistes (année 2023-2024).
• Cours Modélisation et spécification M2 (année 2022-2023).
• Cours d'algorithmique M1-Linguistique (année 2021--2022).
• Cours d'algorithmique des graphes (ancien cours).
• Cours d'algorithmique des graphes à Cachan (années 2018--2019).
• Théorie et pratique de la concurrence M1 (année 2020-2021).
• Cours d'algorithmique L2 (année 2015--2016).
• Introduction à l'algorithmique (en direction des professeurs de mathématiques des lycées).

Et aussi...

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

Comment me joindre ?

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

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

Bureau: Bâtiment Sophie Germain, 8 Place Aurélie Nemours F-75013 Paris, 4 ème étage Bureau 4034b.

Comment trouver l'IRIF ? Métro Bibliothèque François Mitterand (ligne 14). Encore plus d'informations...