Laboratory of Computer Science
Institute of Software, Chinese Academy of Sciences (ISCAS)

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

yzhang AT ios DOT ac DOT cn
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.

Copyright © ZHANG Yu. Laboratory of Computer Science, ISCAS, Beijing.