Postdoc at
Tsinghua University
- LIAMA
- Beijing.
INRIA - FORMES project
Previously, Ph.D. student under the supervision of
Jean-Pierre Jouanaud.
TypiCal (ex. LogiCal) team
- INRIA Saclay - Ile de France
- Laboratoire d'Informatique de l'X
Office:
Offices 3-604, FIT Building, Tsinghua University
Haidian District, Beijing, 100084, CHINA
EMail: pierre-yves [at] strub.nu