|
 |
Maître de Conférences
ENSIIE
Vérification d'Algorithmes, Langages et Systèmes
Tel : 0169156735
Fax :
Bureau : 70/PCRI-S
Page personnelle : http://www.ensiie.fr/~urbain
Courrier électronique : urbain@lri.fr |
Activités de recherche
- Démonstration automatique, SMT et applications
- Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
Projets
- Toccata
Responsabilités de contrats
- A3PAT
- PACTOLE
Logiciels et brevets
- CiME : CiME: une boîte à outils pour la démonstration automatique.
Collaborations
- Université Pierre et Marie Curie
Thèses et habilitations
Doctorat - URBAIN.01-09-1998
Habilitation à diriger des recherches - Preuve automatique : techniques, outils et certification
Participations à des contrats
- A3PAT
- SCALP
- PACTOLE
|
