LAboratoire de Mathématiques et de PhySique
Vérification NUmérique des Systèmes (VENUS)

Actualités

Equipe Vérification Numérique

L'équipe de recherche en informatique VENUS, composée de chercheurs relevant de la section 27 du CNU, s'intéresse à l'impact de la discrétisation des calculs, nécessaire à leur résolution sur ordinateur. Ses travaux portent notamment sur l'étude des relations entre calculs en précision finie et infinie et sur les interactions entre processus à temps discret et continu. En outre, l'équipe Vérification Numérique s'enrichit des interactions avec les autres équipes du LAMPS et notamment des simulations numériques pour la mécanique et la physique statistique réalisées à l'aide de codes de calculs distribués qui offrent des cas d'études subtils en ce qui concerne les problèmes de discrétisation.

Thèmes de recherche

Interprétation abstraite;
Nombres fixes et flottants;
Automates hybrides;
Compilation;
Précision numérique;
Preuves formelles.

LAboratoire de Mathématiques et de PhySique Vérification NUmérique des Systèmes (VENUS)

Actualités

LAboratoire de Mathématiques et de PhySique
Vérification NUmérique des Systèmes (VENUS)