Informatique fondamentale

La problématique scientifique s’articule en deux volets : un volet modélisation et un volet algorithmique et langages de programmation.

  • En ce qui concerne la modélisation, on s’intéresse à la modélisation par des structures discrètes (d’objets réels, imaginaires. . . ), à la modélisation du calcul, de la machine ;
  • En ce qui concerne l’algorithmique et les langages de programmation : on s’intéresse à la conception d’algorithmes et de programmes, à leur analyse (terminaison, complexité, … ), à leur mise en œuvre et à leur garantie, ainsi qu’à l’étude de langages permettant de les programmer et de les analyser.