DIPLOMES

• 1995 : Doctorat d'informatique de l'université d'Orléans préparé à l'INRIA Rocquencourt sous la direction de Philippe Codognet. Titre: "Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)". Postscript+gzip

(mention très honorable avec félicitations du jury).
 
• 1991 : Diplôme d'Etudes Approfondies d'informatique à l'université d'Orléans

(mention très bien, major de promotion).
 
• 1990 : Maîtrise d'informatique à l'université de Luminy à Marseille

(mention très bien, major de promotion).

• 1989 : Licence d'informatique à l'université de Dijon

(mention très bien, major de promotion).
 
• 1986 : Brevet de Technicien Supérieur d'informatique à Marseille.

• 1984 : Baccalauréat série H (techniques informatiques) à Marseille.

 PUBLICATIONS

• Responsable micro-informatique du groupe PHINELEC (950 personnes) entre février 1987 et septembre 1988 :

• évolution du parc micro-informatique de 3 à 50 postes de travail,
• développement d'applications spécifiques au groupe,
• mise en oeuvre des liaisons entre IBM PC et IBM 38,
• maintenance et formation des utilisateurs.
• Stages : entre Juin 1983 et septembre 1986 (par périodes de un à trois mois): chez un constructeur (BULL) et dans des sociétés de services (IBSI, SERCA).

 
• Enseignement / Formation :

• Maître de conférences à l'université de Paris 1 (Panthéon-Sorbonne) depuis 1995.

• consultant formateur pour le compte de Holiware depuis 1999: Delphi.

• A l'université d'Orléans à partir de 1991 : langage C pour le SUFOC (formation continue) et travaux dirigés d'algorithmiques en DEUG A (monitorat de 3ème cycle).

• Au Greta (formation continue) de Marseille entre Juin 1983 et janvier 1987 : algorithmique, méthodologie, langages de programmation, technologie des matériels et logiciels.

QUELQUES REALISATIONS

• GNU Prolog: le Prolog officiel de l'organisation GNU. compilateur natif et résolveur de contraintes sur les domaines finis (depuis 1995). Diffusion au 1er décembre 2000: 15000 exemplaires récupérés par ftp sur le seul site de l'INRIA (sans compter le site principal de GNU ni les miroirs).

• clp(FD): langage de programmation logique par contraintes sur les domaines finis et les booléens (1993-1994). Diffusion au 1er décembre 1998: 1412 exemplaires récupérés par ftp.

• wamcc : compilateur Prolog traduisant Prolog vers C (1992). Diffusion au 1er décembre 1998: 1667 exemplaires récupérés par ftp.

• gcp: générateur de compilateurs pour Prolog en Prolog (1991).

• magellan: générateur de compilateurs en langage C (1991).

• Générateur d'analyseurs lexicaux en Prolog II (1990)

• Système à synthèse vocale, destiné à permettre l'utilisation d'un ordinateur aux non voyants (1985).  Ce logiciel à été primé au PHJ (Prix d'Honneur accordé aux Jeunes) par la Fondation de France.

RENSEIGNEMENTS COMPLEMENTAIRES

• Langues : anglais et espagnol.
• Sports : course à pied, pilotage automobile, danse, ski.
• Loisirs : échecs, ping-pong, cinéma, lecture.