Algèbre  Analyse Static  Analyse classique  Analyse d'atteignabilité  Analyse de flots de données  Analyse des données  Analyse statique  Analyse topologique de données  Architecture  Architecture des réseaux d'ordinateurs  Architecture multi-coeurs  Arithmétique affine  Arithmétique en virgule flottante  Assistants de preuve  Automates temporisés  Automatisation  Calcul  Calcul de point fixe  Calcul formel  Calculs de processus  Catégorie fondamentale  Catégories de composantes  Catégories dérivées  Catégories sans boucles  Catégorification  Code exécutable  Cohérence  Cohérence  Commande, Théorie de la  Commutation, Théorie de la  Complexe  Conception  Concurrence  Confidentialité différentielle  Congruences généralisées  Construction d'arbre  Contraintes  Convergence de suites numériques  Coq  Domaine numérique abstrait  Ensembles invariants  Exploration  Exécution symbolique  Fiabilité  Fonction support  Fusion d'états  Groupoïde fondamental  Génération d'invariants  Helmholtz, Équation d'  Homologie  Homotopie  Idéaux  Informatique  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles,IDM  Interprétation abstraite  Langages synchrones  Logiciels -- Réutilisation  Logiciels -- Vérification  Logique informatique  Logique mathématique  Logique modale  Logique épistémique  Logiques épistémiques  Mesures de sûreté  Modalité  Modules  Modèles de Taylor  Méthode formelles  Méthodes de transformation  Méthodes formelles  Méthodes formelles  Nombres flottants  Nombres à virgule flottante  Optimisation  Ordonnancement  Ordonnancement  Parallélisme  Parallélisme  Pendule  Pendule inversé  Persistance  Pire temps d'exécution  Preuve formelle  Problème inverse de diffusion  Problèmes inverses  Programmation par contraintes  Programmes logico-numériques  Propriété de Wazewski  Propriétés temporelles  Protocoles tolérants aux pannes  Précision finie  Reconstruction de modèles  Réécriture de dimension supérieure  Réécriture linéaire  Réécriture, Systèmes de  Stratégies de recherches  Système  Système de morphismes  Systèmes commutés  Systèmes complexes  Systèmes continus  Systèmes cyberphysiques  Systèmes dynamiques  Systèmes embarqués  Systèmes hybrides  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes temps réel  Systèmes à commutations  Sécurité  Sémantique  Sûreté  Théorie d'ordre  Théorie de l'indice de Conley  Théorie de l'interprétation abstraite  Théorie de l'ordonnancement  Théorie du contrôle  Tomographie en océanographie  Topologie algébrique  Topologie algébrique dirigée  Topologie combinatoire  Transformation  Treillis, Théorie des  Validation de systèmes temps réels  Vraie concurrence  Vérification  Vérification de programme  Vérification de programmes  Yoneda inversible  Zonotopes  

Eric Goubault a rédigé la thèse suivante :

Sciences appliquées
Soutenue en 1995
Thèse soutenue


Eric Goubault dirige actuellement les 2 thèses suivantes :

Informatique, données, IA
En préparation depuis le 01-09-2018
Thèse en préparation

Informatique, données, IA
En préparation depuis le 01-03-2016
Thèse en préparation

Soutenance prévue le 03-03-2020

Eric Goubault a dirigé les 6 thèses suivantes :

Informatique
Soutenue le 02-12-2016
Thèse soutenue

Informatique théorique
Soutenue en 2005
Thèse soutenue


Eric Goubault a été président de jury des 4 thèses suivantes :


Eric Goubault a été rapporteur des 5 thèses suivantes :


Eric Goubault a été membre de jury des 6 thèses suivantes :