Activités

Thèmes de recherche

• Preuve formelle pour les réseaux de robots mobiles
  (PACTOLE et SAPPORO)

• Certification de preuve automatique

• Récriture et Terminaison

• Vérification de programmes Java.

Coordination principales

• Coordinateur du projet ANR SAPPORO

• Coordinateur du projet ÎdF-Digitéo PACTOLE

• Coordinateur du projet ANR A3PAT

Quelques organisations

• Les journées “IDCHP et …” du thème Informatique Distribuée et Calcul Haute Performance.

• Workshop FuReThErMoRe : Mobility and Redundancy, Lyon, 1er octobre 2019, joint avec SRDS.

• Workshop MoRoVer : Mobile Robots and Verification, Lyon, 15 et 16 novembre 2017.

• Organisation du colloque RDP 2007