Groupes de recherche
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
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
Developing and analyzing algorithms for concurrent and distributed systems
Applying modern computing techniques to data analysis in astroparticle physics