Les thématiques de recherche
- la vérification des propriétés de sureté et de vivacité des logiciels critiques ou embarqués,
- l'informatique distribuée et parallèle,
- l'aide à l'apprentissage.

Contacts
Directeur : Jacques Julliand
webmaster@lifc.univ-fcomte.fr
Tel : 03 81 66 65 15 (64 55)
Fax : 03 81 66 64 50
http://informatique.univ-fcomte.fr/