Francois Schwarzentruber
Fonction
Maître de conférences dans le département informatique et télécommunicationsStructure(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
- Envoyer un courrier électronique
Discipline(s)
AlgorithmiqueLangages formels
Solveurs SMT
Agrégation de mathématiques - option informatique
Thème(s) de recherche
Système multi-agentsLogique modale
Planification épistémique
Mise à jour le 28 octobre 2015