Membre

Fiche Membre

En un clic !

Thématiques de recherche
Pôles d’expertises
Nos équipes
Formation par la recherche
- Doctorats
- Masters
HDR
Thèses
Publications

Composante(s) d’expertise Pôle associée(s)

SLS

Génie de la programmation, du logiciel et des systèmesModel-checkingModélisation

Expertises équipes

Méthodes formelles de preuve et de vérification de systèmes complexesModélisation et analyse de systèmes complexes issus de l'écologie et de la santéModélisation et méta-modélisation pour l'industrie

Guillaume Cantin

Enseignant chercheur / Enseignante chercheuse – Maître / maîtresse de conférences

Equipe :

Employeur : Nantes Université

Expertises :

ModélisationSystèmes complexesVérification formelleVérification statistiqueEnvironnementSanté

Coordonnées

Email :

Adresse(s)

Informations non disponibles pour l’instant

Pas de publications référencées sur HAL

TOUNDRA – Modélisation et analyse mathématique de la vulnérabilité de la forêt boréale face au changement climatique : une approche hybride

Pas de plateformes référencées pour l’instant

Pas de logiciels de référencés pour l’instant