Rechercher

Equipes

Administration : Equipe Administrative et technique
  • Administration - Général

CPR : Conception et Programmation Raisonnée
  • Certification de preuves automatiques
  • Réutilisation des preuves et des spécifications
  • Développement de l'atelier FOCAL
  • Modélisation de composants logiciels
  • Vérification formelle de compilateurs
  • Typage, Sémantique et Preuves (TSP)

ILJ : Interactivité pour Lire et Jouer
  • Multimédia - Général
  • Théorie et outils du game design
  • Architecture des systèmes multimédia
  • Interfaces 3D et multimodales
  • Modèles et outils pour la compostion sonore interactive

Isid : Ingénierie des Systèmes d'Information et de Décision
  • Le Web Sémantique
  • Les systèmes décisionnels
  • Qualité des systèmes d'information

Laetitia : traitement du signal et architectures électroniques
  • Traitement du signal pour les télécommunications
  • Optimisation des architectures électroniques en adéquation avec les algorithmes

MSDMA : Méthodes statistiques de data-mining et apprentissage
  • Modélisation par réseaux de neurones à partir de données empiriques
  • Analyse des données multidimensionnelles
  • Contrôle de qualité multivarié, robustesse, détection de rupture de valeurs aberrantes
  • Biostatistique
  • Risque

OC : Optimisation combinatoire
  • Programmation mathématique et applications
  • Graphes et optimisation

ROC : Réseaux et Objets Connectés
  • Systèmes Distribués
  • Systèmes Embarqués
  • Réseaux

SYS : Systèmes Sûrs
  • Typage, Sémantique et Preuves
  • Vérification et Evaluation de Systèmes Parallèles et Asynchrones
  • Architecture Logicielle, Architecture Système et Lignes de produits

Vertigo : Vertigo
  • Grandes bases d’images et de vidéos
  • Informatique musicale