Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: Inria-Paris (ED-130)
Employeur: INRIA Date de debut de thèse: 1 octobre 2019 Date soutenance de thèse: 9 décembre 2022 Directeur de thèse: Dumitru POTOP-BUTUCARU (Inria-Paris (ED-130)) Sujet de thèse: IA temporellement prédictible pour la voiture autonome
Employeur: INRIA Date de debut de thèse: 1 octobre 2019 Date soutenance de thèse: 9 décembre 2022 Directeur de thèse: Dumitru POTOP-BUTUCARU (Inria-Paris (ED-130)) Sujet de thèse: IA temporellement prédictible pour la voiture autonome
Soutenance de thèse
Données générales
Titre : Spécification et compilation de réseaux de neurones embarqués
Date : 9 décembre 2022
Heure: 14:00
Résumé : Dans cette thèse, nous proposons une approche pour spécifier et compiler conjointement les aspects Calcul Haute-Performance (HPC) et Temps-Réel Embarqué (RTE) d’un même système. Notre approche est fondée sur une intégration formelle, algorithmique et outillée entre deux formalismes sous-tendant une bonne partie des travaux en HPC et en RTE : la forme normale SSA et le langage flot de données synchrone Lustre.
Lieu : INRIA Paris (12 rue Simone Iff, 75012 Paris)
Rapporteurs/ Rapporteuses
| Personne | Qualité | Etablissement |
|---|---|---|
| Mme. Ancourt Corinne | Chargée de recherche (HDR) | Centre de recherche en informatique |
| M. Monniaux David | Directeur de recherche (HDR) | Verimag (ED 217) |
Composition du jury
| Personne | Qualité | Etablissement |
|---|---|---|
| Mme. Ancourt Corinne | Chargée de recherche (HDR) | Centre de recherche en informatique |
| M. Bourke Tim | Chargé de recherche | Département Informatique de l'ENS |
| M. Cohen Albert | Directeur de recherche (HDR) | |
| M. Monniaux David | Directeur de recherche (HDR) | Verimag (ED 217) |
| Mme. Munier Alix | Professeure des universités | LIP6, Sorbonne Université |
| M. Potop-butucaru Dumitru | Chargé de recherche (HDR) | Institut National de recherche en informatique et en automatique - Paris centre, Sorbonne Université |