Espace recherche

Département d'informatique de la Faculté des sciences

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.