Laboratoires

Faculté des sciences - Département d'informatique
Faculté des sciences économiques et sociales
Faculté des lettres - Unité d'informatique

Faculté des sciences - Département d'informatique

Vision par ordinateur et multimédia   CVML

Le traitement et l'utilisation de l'informatique multimédia (images, vidéos, sons) est un domaine qui connait un essor extraordinaire.

Intelligence artificielle   GAIL

L'intelligence artificielle s'interresse à la résolution de problèmes pour lesquels aucune solution analytique n'est connue.

Modélisation et vérification du logiciel   SMV

Le développement de logiciels complexes et fiables exige des méthodes rigoureuses pour les modeler, les prototyper et les vérifier.

Parallélisme et calcul scientifique   SPC

Le calcul parallèle permet le développement de nouvelles méthodes et d'algorithmes pour résoudre les défits scientifiques futurs.

Informatique théorique   TCS

Les recherches explorent le potentiel de calcul des ordinateurs et leurs limitations, tant philosophiques que pratiques.

Faculté des sciences économiques et sociales

Institut de Science des Services   ISS

Les services représentent le secteur à plus forte croissance de l'économie des pays industrialisés.

Institut d'ingénierie des connaissances et logiques de l'espace   ICLE

Les travaux se développent selon trois axes principaux: la représentation des connaissances, les techniques d'accès aux connaissances et l'utilisation des connaissances dans les systèmes complexes.

Animation 3D et réalité virtuelle   MIRALab

L'animation virtuelle nécessite un développement de techniques pointues et demande une approche multi-disciplinaire.

Faculté des lettres - Unité d'informatique

Laboratoire d'analyse et de technologie du langage   LATL

Le LATL est un laboratoire de recherche qui a pour vocation le traitement du langage naturel dans les domaines de l'analyse, de la génération et de la traduction automatique.