|
Zhaopeng Li
Post Doc. Researcher
of 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. |
|