Ph.D. (2005, LSV, École Normale Supérieure de Cachan)

Office: Building #5, Room 315
Phone: +86 10 6266 1656      Fax: +86 10 6266 1627
Post address: P.O.Box 8718 (LCS), 100190, Beijing, China

I do research on programming languages, type theory, formal semantics, logic, etc.

See my publications for more information.

I'm teaching at the graduate school in the fall semester.