Peng WU

Associate Research Professor
Ph.D. in Computer Software and Theory, 2005

Chinese Version
Contact Address:
Lab of Computer Science, P.O.Box 8718, Beijing 100190, China
Office:
Room 325, Building 5#, Institute of Software, Chinese Academy of Sciences
4 South Fourth Street, ZHONGGUANCUN, Beijing 100190, China

Telephone:
+86 (10) 6266 1622          Fax: +86 (10) 6266 1627
Email:
wp (at) ios (dot) ac (dot) cn

Research Interests: Concurrency, Model Checking, Testing

Publications (DBLP  Journals  Proceedings  Reports  Theses) - Software - Links - Internships


Journals

Conferences & Workshop Proceedings

Technical Reports

Theses


Software


Links