Home page for bekkers
Page Professionnelle de Yves Bekkers
|
|
Professeur à l'Université de Rennes1 Unité d'enseignement : ESIR - École Supérieure d'ingénieur de Rennes |
Adresse
IRISA
Campus de Beaulieu
35042 RENNES Cedex
FRANCE
Tél. : (33) 2 99 84 75 38
Fax : (33) 2 99 84 71 71
E-mail : bekkers AT irisa.fr
Bâtiment : 12D - Étage Orange - Bureau D167
Parcours
- Professeur à l'Université de Rennes 1 depuis 1995
- Directeur de recherche à l'INRIA de 1984 à 1995
- Détachement professeur à l'Université de Rennes1 de 1993 à 1995
- HDR en 1993 "Programmtation logique de Prolog à lambdaProlog"
- Détachement professeur à North State Carolina University, Raleigh - USA en 1989 (enseignement de la programmation logique)
- Chercheur à L'IRIA (actuellement INRIA) de 1975 à 1984
- Détachement à l'ENSIMAG Grenoble de septembre 1976 à septembre 1979
- Thèse en 1975 "Conception et réalisation d'une machine langage de haut niveau adaptée à l'écriture de systèmes"
- Boursier jeune chercheur de 1973 à 1974 à Queen's University of Belfast, Département Computer Sciences, Recherche sur les langages d'expression du parallélisme dans l'a mise en œuvre des systèmes (Hoare's Path expressions language).
Administration
- Directeur de l'UFR IFSIC (actuellement ISTIC) de 1995 à 2000
- Directeur du diplôme d'ingénieur DIIC de 1993 à 1995
- Membre du CNU 27ieme section de 1993 à 1996
- Responsable de l’équipe MALI à l’IRISA de 1984 à 1992
- Responsable de l’équipe d’ingénieurs de l’IRISA (atelier micro) de 1980 à 1984
Enseignement
- Cours précédents
- Programmation logique : Prolog, LambdaProlog
- Programmation fonctionnelle : Scheme, Ocaml
- Programmation objet : Java
- Bases de données relationnelles
- Cours actuels
Recherche
- Directeur de l'équipe MALI de 1982 à 1992 : L'équipe s'occupait de l'implémentation d'interpréteurs et de compilateurs Prolog et LambdaProlog construit sur la machine abstraite MALI conçu par l'équipe. Cette machine s'occupait principalement de la gestion de la mémoire. L'équipe a conçu le premier compilateur LambdaProlog. Télécharger le compilateur LambdaProlog Mali.
- Actuellement dans l'équipe LIS, je m'occupe d'un projet qui consiste à produire un ensemble de briques logicielles industrialisables qui, assemblées entre elles, vont permettent de construire des applications WEB réparties donnant accès sur le WEB au logiciel Camelis.
- Liste des publication indexées sur DBLP
- Publications