L.R.I., Bât. 490
Université Paris-Sud
F-91405 Orsay cedex
France

Téléphone : +33 1 69 15 64 85
Télécopie : +33 1 69 15 65 86

Courrier électronique : [prénom].[nom]@lri.fr

http://www.lri.fr/~urbain

Curriculum vitae 

• Français [ps.gz] [PDF] [html].
• English [ps.gz] [PDF]. (older)

Activités de recherche :

• Récriture ;
• Terminaison ;
• Vérification de programmes Java.

Publications :

• [html]
• [ps.gz]

Liens recherche :

• Projet CiME ;
• Projet européen Verificard ;
• Projet Krakatoa ;
• Groupe de travail Verificard à Orsay.

Activités d'enseignement :

• D.E.U.G. MIAS  : approche fonctionnelle, logique et matériel, principes d'interprétation des langages ;
• Licence d'informatique Paris-Sud : techniques de programmation ;
• I.U.P. MIAGE Évry : Projet SIA/BD ;
• Licence d'informatique Évry : Logique et programmation fonctionnelle ;
• Maîtrise d'informatique : compilation.