Zhaopeng Li Post Doc. Researcher  of Computer Science, University of Science & Technology of China Email: zpli at mail dot 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

Publications    Project Doc     Seminars&Talks   Resources    Joint Center

Gmail  Google(NoteBook Maps Life)  

Copyright © 2003-2008, Zhaopeng Li, University of Science & Technology of China. Last modified: 14:59, May 9, 2009.