[Français]

Xavier URBAIN

[picture]

Maître de conférences HDR,
ENSIIE,
Team Vals, LRI-PCRI, CNRS UMR8623, Univ. Paris-Sud.

Contact address ENSIIE:	1 square de la Résistance, 91025 Évry cedex France
Contact address LRI:	Bât 650, Univ. Paris-Sud, 91405 Orsay Cedex, France

e-mail address: [name].[surname]@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; Formal proof for networks of autonomous mobile robots; Automated proof and its certification; Rewriting; Termination; Verification of Java programs. Organisation of RDP 2007. PC member of WRLA 08. International School of Rewriting 2012 in Valencia ISR 2012.

Publications:

• [html]

---

CPR team seminars

• Seminars 2006--2009
• Seminars 2009--2011

---

Teaching:

• ENSIIE 1. -- Imperative Programming,
  • Project 2014: [html]
  • Teaching team page [html] (restricted)
• ENSIIE 1. -- Functional Programming,
  • Projet 2014: [html]
  • Teaching team page [html] (restricted)
• ENSIIE 2. -- Formal Languages,
• ENSIIE 2. -- Models for Computation.

• MPRI. -- Démonstration automatique (Automated reasoning) [2.5]
  • Booklet [pdf] (2010)

• International School of Rewriting 2012, Valencia (Spain) ISR 2012.
  Lecture Track B "Advanced" Certification of Rewriting Properties [pdf]

---

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