Noémie C
Doctorant·e - Artificial intelligence
- Intelligence artificielle (IA), systèmes experts, apprentissage automatique (machine learning), réseaux de neurones, apprentissage profond (deep learning), systèmes multi-agents
- Méthodes formelles (informatique), vérification de programme, assistants de preuve
Ses capacités d’intervention
Région
Île-de-France
Ce profil vous intéresse ?
- J’envoie mon besoin spécifique
- Des experts traitent ma demande
- Un chercheur est mis en lien avec ma mission
Intéressé ?
Nous contacterEn quelque mots
PhD candidate - Working on formal methods for ensuring safety and reliability in ML vision-based systemsSa thèse
Intitulé de la thèse : vérification formelle des systèmes à haute dimension basés sur l’apprentissage machine (ML).
Universités et laboratoires d’appartenance ou d’origine :
ISAE-SupaéroSes expériences universitaires
vérification formelle des systèmes à haute dimension basés sur l’apprentissage machine (ML)
Ce profil vous intéresse ?
- J’envoie mon besoin spécifique
- Des experts traitent ma demande
- Un chercheur est mis en lien avec ma mission
Intéressé ?
Nous contacter