Partager cette page :

Francois Schwarzentruber

Fonction

Maître de conférences dans le département informatique et télécommunications

Structure(s) de rattachement

Coordonnées

Adresse :
Bâtiment Alfred Sauvy
École normale supérieure de Rennes
Campus de Ker Lann
35170 Bruz
France
Tél. :
(+33) 2 99 05 93 23
Fax :
(+33) 2 99 05 93 29
Site internet :
http://people.irisa.fr/Francois.Schwarzentruber/
Bureau 2 :
Batiment C, bureau 218
Tél. (autre) :
(+33) 2 99 84 71 11

Discipline(s)

Algorithmique
Langages formels
Solveurs SMT
Agrégation de mathématiques - option informatique

Thème(s) de recherche

Système multi-agents
Logique modale
Planification épistémique

Mise à jour le 28 octobre 2015