Equipes et projets (Groups and research projects)

• Move au Laboratoire d'Informatique Fondamentale de Marseille (LIF)
• Action COLOR INRIA CLE 2000-2002
  
• P rojet  INRIA Lemme , délégation 2001-2002
• Responsable pour Marseille de l'ACI-sécurité  CRISS
• ACI- nouvelles interfaces des mathématiques-GEOCAL
  

• Méthodes formelles (Formal methods)
• Systèmes d'aide à la preuve (Proof-assistants)
• Vérification de hardware (Hardware verification)
• Systèmes communicants (Communicating systems)
• Certification de logiciel embarqué, Javacard. (Certified embedded systems, Javacard)
• Théorie des types (type theory)

• Logique: cours de tronc commun (48h) (Master 2 Recherche Informatique Fondamentale) (2005-2006) (2007-2008)
  
• Algorithmique avancée et programmation Java (Master2 Génie Statistique et Informatique)(2004-2010)
  
• Algorithmique et programmation Java  ( Master 1 Mathématiques et Applications) (2004-2010)
  
• Méthodes formelles (Master2 Informatique Recherche et Professionnel) (2004-2005)
  
• Logique, Déduction, Programmation (LDP)  (Master1 Informatique)  (2008- 2010)