Scholar
Zhilin Wu
Google Scholar ID: REVw3uQAAAAJ
State Key Laboratory of Computer Science
Citations & Impact
Citations
459
H-index
11
i10-index
12
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Research Experience
- - Position: Full Research Professor at the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences.
Background
- - Research Interests: Automated analysis and verification of big data programs, JavaScript programs, and Android programs.
- - Professional Field: Applying formal models and specifications to the automated analysis and verification of computer systems (mainly software).
- - Introduction: Focuses on developing methodologies for the automatic formal analysis and verification of computer programs.
Co-authors