EN FR
EN FR


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]

Others

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.]