Groupes de recherche

Analyseur d'articles

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

BioLabs

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

Groupe de neurodéveloppement et de neurophysiologie

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

Groupe HoTT et types dépendants

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

Informatique simultanée

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

Laboratoire d’algorithmes de robots mobiles

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

Laboratoire de langages et d’outils de programmation

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

Laboratoire de vérification ou d’analyse de programme

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

Laboratoire intelligent d’outils de collaboration

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

Laboratoires d’IA

Recherche fondamentale et appliquée en IA

Méthodes de Machine Learning en génie logiciel

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

Physique des astroparticules

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