Skip to content
  Team SemLIS  

Home page for bekkers

Page Professionnelle de Yves Bekkers



Ma Photo

   

Professeur à l'Université de Rennes1



Unité d'enseignement : ESIR - École Supérieure d'ingénieur de Rennes
Unité de recherche : IRISA - Institut de recherche en Informatique et Systèmes Aléatoires
Équipe de recherche : LIS - Systèmes d'Information Logiques


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

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