Groupes de recherche

Algorithmes pour systèmes simultanés et distribués

Développement et analyse d’algorithmes pour systèmes simultanés et distribués

Analyseur d'articles

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

Applications de Machine Learning et Deep Learning

Application de techniques de machine learning de pointe à une multitude de problèmes différents

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 bioinformatique

Application de méthodes informatiques à des problèmes biologiques et médicaux réels

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 cryptographique

L’étude et l’application de méthodes cryptographiques pour la protection de l’information

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 méthodes de physique nucléaire

Le laboratoire développe des instruments et des méthodes pour la recherche en physique des particules et d’autres domaines similaires

Laboratoire de recherche sur l’apprentissage

Recherche longitudinale pour découvrir quels facteurs contribuent à améliorer les résultats scolaires et à assurer la réussite dans les carrières STIM

Laboratoire des algorithmes paramétrisés

Construction d'algorithmes exacts pour résoudre des problèmes informatiques complexes par la compréhension minutieuse de la structure d'une entrée typique

Laboratoire de systèmes cyberphysiques

Bases théoriques, langages et outils pour développer des programmes de contrôle pour les systèmes cyberphysiques

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

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

Problèmes d’optimisation dans l’ingénierie logicielle

Résolution de problèmes d’optimisation complexes dans différents domaines de l’ingénierie logicielle

Systèmes d’agent et apprentissage de renforcement

Сréation de nouvelles façons d'entraîner des agents d’IA