Accueil > Verimag > Thèse en cours

Thèse

Alexandre Berard effectue une thèse à Verimag de septembre 2026 à décembre 2026, sous la supervision de Sylvain Boulme

Axe :

FormalProofs

SharedResources

Contact | Plan du site | Site réalisé avec SPIP 4.4.23 + AHUNTSIC [CC License]

info visites 8349122

UGA

CNRS

INP Grenoble