Gilles Lesventes

e-mail: Gilles.Lesventes@univ-rennes1.fr

Adresse: ISTIC
(bâtiment 12D bureau D289)
Campus Universitaire de Beaulieu
35042 Rennes Cedex - FRANCE

Tél: 02 23 23 39 39

Fax: 02 23 23 39 01

Secrétaire:Béatrice Maret 02 23 23 39 19

Maître de Conférences à l'ISTIC, nouvelle UFR d'informatique et d'électronique de l'Université de Rennes 1 faisant suite à l'IFSIC

Directeur de l'ISTIC depuis janvier 2011.

Responsabilités administratives

Enseignement

Publications

Responsabilités administratives

Directeur de l'ISTIC (UFR Informatique - Electronique de l'université de Rennes 1) depuis janvier 2011
Membre du conseil d'administration de l'Université de Rennes 1 depuis décembre 2004
Chargé de mission "Affaires documentaires" de l'Université de Rennes 1 depuis mai 2008

Directeur de l'IFSIC (Institut de Formation Supérieure en Informatique et Communication) de 2009 à 2011
Directeur-adjoint de l'IFSIC de 2004 à 2009

Enseignement à l'ISTIC

Licence Informatique :
Algorithmique et programmation via une approche fonctionnelle (L1) - Cours (documents),
Calculateurs, calculs, calculabilité (L2) - Cours, TP (livre support du cours),
Langages formels (L3) - TD (documents),
Programmation fonctionnelle (L3) - TD, TP (documents),

Master Informatique :
Modèles d'automates et calculabilité (M1) - Cours, TD (documents),

Publications

Calculateurs, calculs, calculabilité
livre co-écrit avec Olivier Ridoux. .

Paru chez Dunod en janvier 2008

HMSCs as specifications ... with PN as completions
avec B. Caillaud, Ph. Darondeau et L. Hélouët. In Modeling and verification of Parallel Processes, F.Cassez, C. Jard, B. Rozoy, M. Dermot (eds.), Springer, Lecture Notes in Computer science, Volume 2067, pages 125__152 (2001). download

Gilles.Lesventes@univ-rennes1.fr
Dernière modification : 6 avril 2011