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