Curriculum vitæ

Situation familiale

Né le 2 août 1952 à Sarralbe (Moselle)

Divorcé sans enfants

Formation

31 octobre 1995

Doctorat de l'Université de Caen

Mention :	Très honorable avec Félicitations du Jury
Titre :	Logique Temporelle et Algorithmes d'E-Unification Rigide
Jury :	E. GRANDJEAN, président, P. ENJALBERT, directeur de thèse, M. RUSINOWITCH et R. CAFERRA, rapporteurs, G. LIGOZAT.
Mots-clés:	Démonstration automatique, Méthode des connexions, E-unification rigide, Complétion. Paramodulation, Logique modale d'intervalles, Algèbres d'intervalles, Intervalles Généralisés

septembre 1991

DEA Intelligence Artificielle et Applications

Mention :	Très Bien
Sujet du mémoire :	Logique et Objets
Responsable :	P. ENJALBERT

Juin 1990

Maîtrise d'Informatique

Mention :

Très Bien

Juin 1989

Licence d'Informatique

Mention :

Très Bien

Juin 1992

Licence de Mathématiques

Juin 1972

CAPCEG

Certificat d'Aptitude Professeur d'Enseignement Général de Collège,
section 3 (Mathématiques-Sciences Physiques-Technologie)

Juin 1970

Baccalauréat série C

Mention :

Assez Bien

Enseignement

depuis septembre 1998

Maître de Conférences

Enseignement :	IUT d'Alençon, département Oragnisation et Génie de la Production
Recherche	Laboratoire GREYC, Université de Caen

de septembre 1992 à juin 1996

Attaché Temporaire d'Enseignement et de Recherche

Lieu :	Université de Caen
Enseignements :	TD info en 1ère année ISMRA TD Info en Deug A1 (Pascal) TD Info en Maîtrise EEA (Analyse numérique) TD Compilation en Licence Info

depuis septembre 1989

Enseignant au CNAM Centre Régional Associé de Basse-Normandie

Valeurs enseignées :

Initiation à l'Informatique A (cours) : 3 ans Informatique Générale A (cours) : 2 ans Informatique Appliquée au Calcul Scientifique (cours) : 3 ans Algorithmique-Programmation A (cours et TP) : 6 ans Informatique-Programmation B (TD) : 2 ans

de septembre 1996 à septembre 1998

Titulaire Remplaçant secteur Calvados

Section :	Mathématiques-Sciences Physiques-Technologie
Lieux :	LEP Victor Lépine de Caen	09/97 à 12/97
	Collège de Dives	01/97 à 06/98
	LEP de Honfleur	01/97 à 06/97
	Collège de Vassy	09/96 à 12/96

de septembre 1992 à septembre 1991

Professeur d'Enseignement Général de Collège

Section :	Mathématiques-Sciences Physiques-Technologie
Lieux :	Giberville (14)	09/85 à 09/91
	Dozulé (14)	09/81 à 09/85
	Amnéville (57)	09/72 à 09/81