Zhilin Wu
Scholar

Zhilin Wu

Google Scholar ID: REVw3uQAAAAJ
State Key Laboratory of Computer Science
Computational LogicProgram Analysis and VerificationAutomata Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
459
 
H-index
11
 
i10-index
12
 
Publications
20
 
Co-authors
0
 
Publications
7 items
LoMeVQA: A Comprehensive Benchmark for Longitudinal Medical VQA
2026
Cited
0
Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction
2026
Cited
0
Can LLM Aid in Solving Constraints with Inductive Definitions?
2026
Cited
0
A Formally Verified Procedure for Width Inference in FIRRTL
2026
Cited
0
Decision Procedure for A Theory of String Sequences
2025
Cited
0
Decision Procedure for A Theory of String Sequences
2025
Cited
0
OSTRICH2: Solver for Complex String Constraints
2025
Cited
0
Resume
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.