ATTENTION : cette page n'est plus à jour !

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

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

Curriculum vitae 

• Français [ps.gz] [PDF]  ;
• 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.