Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Curriculum Vitæ
Claude Marché
May 17, 2002

État civil

M. Claude Marché

Né le 25 avril 1966 à Bourgoin-Jallieu (38)

Nationalité française

Célibataire, un enfant.

Dégagé des obligations militaires.

Adresse personnelle

171, Avenue du Général Leclerc

Bât. D

91190 GIF SUR YVETTE

Tél.: (+33) 1 69 07 44 59

Adresse professionnelle

LRI, Bât. 490

Université Paris-sud

91405 Orsay cedex

Tél.: (+33) 1 69 15 64 85

Situation actuelle

Maître de Conférences en Informatique, Université Paris XI, depuis le 1^er septembre 1995. Titularisé le 1^er septembre 1996.

Situations antérieures

1985--1989 : Élève-professeur à l'École Normale Supérieure de Cachan.

1989--1991 : Allocataire Moniteur Normalien à l'Université Paris-Sud.

1991--1992 : Service national effectué en tant que scientifique du contingent à l'état-major de la première Armée à Metz.

1992--1993 : 3^ème année d'Allocataire Moniteur Normalien à l'Université Paris-Sud.

1993--1994 : Année post-doctorale à l'INRIA Rocquencourt dans le projet Coq.

1994--1995 : Attaché Temporaire d'Enseignement et de Recherche, au LIFAC, ENS de Cachan

Études, Diplômes

1983 : Baccalauréat série S1 (équivalent C) -- Mention Bien.

1983-1985 : Mathématiques Supérieures -- Mathématiques Spéciales M' au Lycée Champollion à Grenoble.

1985 : Admission à l'École Normale Supérieure de Cachan en section Mathématiques.

1985-1986 : Licence de Mathématiques -- Université Paris-Sud -- Mention Très Bien.

1986-1987 : Maîtrise de Mathématiques -- Université Paris-Sud -- Mention Bien

1987-1988 : Agrégation de Mathématiques -- Option Informatique -- Rang: 10^ème.

Été 88 : Stage en entreprise chez CEDRAT à Meylan (Isère). Réalisation d'un logiciel de simulation de l'écoulement dans les cours d'eau.

1988-1989 : D.E.A. d'Informatique du Laboratoire de Recherche en Informatique. Moyenne 16/20 -- Rang 1^er.

Stage effectué au Laboratoire de Recherche en Informatique sous la direction de Jean-Pierre Jouannaud. Sujet du stage: « Complétion modulo associativité, commutativité et élément neutre ». Mention Très Bien.

1989-1991 : Première et deuxième année de Thèse au L.R.I. dans l'équipe DÉMONS (Démonstration et programmation logique contrainte).

1991-1992 : Service national effectué en tant que scientifique du contingent à l'état-major de la première Armée à Metz. Réalisation d'un logiciel de simulation de combat, en ADA sur un réseau mixte UNIX et MSDOS.

1992-1993 : Troisième année de Thèse au L.R.I. dans l'équipe DEMONS. Titre : « Réécriture modulo une théorie présentée par un système convergent et décidabilité des problèmes du mot dans certaines classes de théories équationnelles ». Soutenue le premier octobre 1993, devant la commission

Président	Gérard Huet, directeur de recherche, INRIA Rocquencourt
Rapporteurs	Jacques Morgenstern, directeur de recherche INRIA
	Sophia-Antipolis
	Michaël Rusinowitch, Maître de conférences, Université de Nancy I
Examinateurs	Leo Bachmair, Chercheur, Max Planck Institut, Saarbrücken,
	Allemagne
	Bruno Buchberger, Professeur, Research Institute for Symbolic
	Computation, Linz, Autriche
	Dominique Gouyou-Beauchamps, Professeur, Université Paris XI
	Jean-Pierre Jouannaud, Professeur, Université Paris XI

Mention très honorable avec les félicitations du jury.

This document was translated from L^AT_EX by H^EV^EA.