Nothing Special   »   [go: up one dir, main page]

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

I am looking for 2 master students in software analysis, verification and testing, and machine learning. If interested, please contact me.


Research Interests: Concurrency, Model Checking, Software Testing, Machine Learning

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


Journals

Conferences & Workshop Proceedings

Technical Reports

Theses


Software


Links