Zhaopeng Li

Post Doc. Researcher  of
Computer Science, University of Science & Technology of China

Email: zpli at ustc dot edu dot cn

Suzhou Institute for Advance Study, University of Science & Technology of China, Suzhou, 215123, China

Research Interests

Programming languages and Type Systems

Compiler, especially Certifying Compiler

Program Verification and Automated Theorem Proving

Formal Methods

Projects

Shape Checker

Teaching

Software Architecture (Fall, 2012)

Software Architecture (Fall, 2013)

Publications    Project Doc     Seminars&Talks   Resources    Joint Center

Gmail  Google(NoteBook Maps Life)  


Copyright © 2013, Zhaopeng Li, University of Science & Technology of China. Last modified: 15:54, Sep. 17, 2014.

Valid HTML 4.01 Transitional