Project Team Proval

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
PDF e-pub XML

The Proval project-team is a research team common to INRIA - Saclay Île-de-France, CNRS and Université Paris-Sud. Researchers are also members of the LRI (Laboratoire de Recherche en Informatique, UMR 8623).

Section: Members

Research Scientists

Claude Marché [Team Vice-Leader, Senior Researcher, HdR]
Sylvie Boldo [Junior Researcher]
Évelyne Contejean [Junior Researcher CNRS]
Jean-Christophe Filliâtre [Junior Researcher CNRS, HdR]
Guillaume Melquiond [Junior Researcher]

Faculty Members

Christine Paulin-Mohring [Team Leader, Professor Université Paris-Sud, HdR]
Sylvain Conchon [Associate Professor Université Paris-Sud, delegation INRIA]
Andrei Paskevich [Associate Professor Université Paris-Sud]
Xavier Urbain [Associate Professor ENSIIE, Deleg. INRIA until Aug., HdR]

Technical Staff

Alain Mebsout [Junior Engineer, until August]

PhD Students

Romain Bardou [Université Paris-Sud, until Aug.]
François Bobot [Université Paris-Sud]
Claire Dross [CIFRE Adacore]
Paolo Herms [CEA grant]
Mohamed Iguernelala [Université Paris-Sud]
Alain Mebsout [Université Paris-Sud, since Sep.]
Catherine Lelay [INRIA Digiteo grant, since Oct.]
Stéphane Lescuyer [INRIA, on leave from X-Mines, until Jan.]
Thi-Minh-Tuyen Nguyen [INRIA Digiteo grant]
Asma Tafat Bouzid [Université Paris-Sud]
Wendi Urribarrí [ATER Université Paris-Sud 11 until Sep.]

Post-Doctoral Fellows

David Baelde [Post-doc CNRS]
Denis Cousineau [Post-doc FUI Grant Hi-Lite, since Sep.]
Krishnamani Kalyanasundaram [Post-doc ANR grant, until Aug.]
Evgeny Makarov [Post-doc ANR grant, May-October]
Cody Roux [Post-doc ANR grant, since May]

Visiting Scientist

Daisuke Ishii [National Institute of Informatics, Japan, since May]

Administrative Assistant

Régine Bricquet [TR]


Catherine Lelay [Univ Paris 7, Master intern, May to Sep.]
Nuno Gaspar [Univ do Minho, Portugal, Master intern,until Sep.]
Shuai Yuan [Zhejiang University, China, since Oct.]