Outil basé sur le deep learning pour l’extraction des connaissances à partir d’articles biomédicaux scientifiques

Découverte des mécanismes fondamentaux de régulation épigénétique et de leur rôle dans la différenciation cellulaire et le vieillissement

Modélisation de simulation du développement des tissus neuronaux et des processus cellulaires impliqués

Création d'un langage à typage dépendant basé sur la théorie de l'homotopie du type

Développement, vérification, test et benchmarking des algorithmes simultanés modernes

Développement des algorithmes d’auto-orientation pour un robot mobile et la résolution du problème SLAM

Soutien de la recherche fondamentale sur les langages et outils de programmation

Application de méthodes formelles de développement de logiciels à la création d’outils basés sur l’analyse statique, la vérification et la transformation de programmes

Étude des processus collaboratifs en SE et au-delà pour permettre des outils de collaboration de nouvelle génération

Recherche fondamentale et appliquée en IA

Fusion des meilleures pratiques des deux domaines pour créer de nouvelles façons de développer et d’améliorer le code

Application des techniques de calcul modernes à l'analyse des données en physique des astroparticules