RENNES
Professeur d'informatique à l'Université de Rennes 1.
Responsable parcours innovation ESIR
Laboratoire IRISA - Equipe LIS [responsable de l'équipe LIS]
SUJETS D’INTÉRÊT (ENSEIGNEMENT ET RECHERCHE)
La logique et ses applications : recherche en programmation logique (1981-2001), recherche en systèmes d'information logique (2001-...), enseignement de la programmation logique.
Les systèmes d'information : enseignement en systèmes d’exploitation, enseignement en bases de données, enseignement de principes des systèmes d'information, recherche en systèmes d'information logique.
La théorie de la programmation : enseignement en calculabilité et complexité (un livre « Calculateurs, calculs, calculabilité » chez Dunod), enseignement en algorithmique, enseignement en théorie des langages formels, enseignement en compilation, enseignement et recherche en programmation logique.
L'épistémologie, l'histoire des sciences et les interactions entre science et société : enseignements au sein des parcours innovation de l'ESIR, révolutions et ruptures en science et en innovation, développement durable, Green IT.
Les systèmes d'information logique : il s'agit d'une approche symbolique aux problèmes de la gestion de l'information, qui utilise la logique pour formaliser la représentation, l'accès, la sélection, la présentation et la mise à jour de l'information. Cette approche est à la fois d'essence théorique et soumise à des expérimentations dans des vrais systèmes (équipe LIS).
Pas de formation renseignée
