Research

• Topics :
  Formal specification and verification, model checking, timed automata, temporal logics, real-time systems.
• Publications.
• DOTS project.
• QUASIMODO project.
• Temporal Representation and Reasoning -- TIME 2009.
• CONCUR 2009.
• Summer school MOVEP 2008.
• Web page at LSV.
• CMC tool (Compositional Model-Checking).

Teaching

• UFR d'informatique - Paris 7
  
• Algorithmics M1.
• Algorithmics L3.
• Programming Project (L2).
• Lecture 2.8 "Verification of real-time and concurrent systems"
• Theory and practice of concurreny (M1)

Misc...

• SNESUP-FSU
• "Sauvons la recherche"

Contact

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 -- ( Please do not dial the (0) if you are outside France)

Mailing address: LIAFA, Université Paris Diderot -- Paris 7, Case 7014, 75205 Paris Cedex 13, France

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

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