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

Actualités

Prochaine Réunion
Le 17 octobre 2018 dans la salle de réunion du LAMPS à 13h Exposé de Alexis Cornet

Prochaine Réunion
Le 9 Octobre 2018 à la salle de séminaire de l'UFR à 10h Intervenant: Nicolas Pech-Gourg Titre: Méthodes de RO et d'IA appliquées à la résolution de problèmes de gestion.

Parution de Livre
Parution du livre "Foundations of discrete mathematics with algorithms and programming" co-écrit par Sridharan Sriraman. Lien UPVD

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)