Français

Xavier URBAIN

[picture]

Maître de conférences, ENSIIE,
Team CPR, Cedric, CNAM.

Délégation CNRS, équipe Proval, LRI, CNRS UMR8623, Univ. Paris-Sud, INRIA Saclay.

Contact address ENSIIE :	1 square de la Résistance, 91025 Évry cedex France
Contact address LRI :	INRIA Saclay - Île-de-France, Parc Orsay Université - ZAC des Vignes
	4 rue Jacques Monod - Bâtiment N, 91893 ORSAY Cedex France

e-mail address: [prénom].[nom]@ensiie(dot)fr
http://www.ensiie.fr/~urbain

---

---

Activities:

Principal investigator of the ÎdF-Digitéo project PACTOLE Principal investigator of the ANR project A3PAT Member of the ANR-project SCALP; Rewriting; Termination; Verification of Java programs. PC member of WRLA 08; Organisation of RDP 2007.

Publications:

• [html]

---

CPR team seminars

• Upcoming seminars.

---

Teaching:

• ENSIIE 1. -- IAP1;
• ENSIIE 1. -- IAP2;
• ENSIIE 2. -- Prolog;
• ENSIIE 3/Master MOPS. -- ITP.

• MPRI. -- Démonstration automatique [2.5].

• FIP. -- Algorithmique;
• FIP. -- Compilation.

---

Fingerprint gpg key: 421C F634 7D01 FF31 17D6 F77E 2BC6 F716 1622 F1F0