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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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