EN FR
EN FR


Creation of the Team: 2009 January 01, end of the Team: 2013 December 31.

Section: Members

Research Scientists

Frédéric Blanqui [Inria Researcher, until Aug 2013, HdR]

Vania Joloboff [Inria Team Leader]

Jean-Pierre Jouannaud [Inria Senior Researcher, HdR]

Jean-François Monin [UJF delegation CNRS, until Aug 2013, HdR]

Faculty Members

Ming Gu [Tsinghua University Full Professor, China PI]

Fei He [Tsinghua University Assistant Professor]

Jianqi Li [Tsinghua University Assistant Professor]

PhD Students

Jiaxiang Liu [Tsinghua and École Polytechnique]

Kim-Quyen Ly [UJF, until Aug 2013]

Xiaomu Shi [UJF, until July 2013]

Qian Wang [Tsinghua and École Polytechnique]

Administrative Assistant

Mei Zhang [LIAMA]

Others

Shenpeng Wang [Tsinghua University Master Student, Sep. 2012-May 2013]

Antoine Rouquette [Lyon Master Student internship, Sep. 2012-Aug. 2013]