Pulse Entdecken nav.journalClub Debatten Trends Forschende

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

Weimin Wu | Synapse

WW

Weimin Wu

Formal Methods in Verification

Chinese University of Hong Kong, Shenzhen

About

Research focus

Formal Methods in Verification

Impact

36 pubs · 233 cites · h-index 7

Affiliations

Work Experience

Chinese University of Hong Kong, Shenzhen

2024 - Present

State Key Laboratory of Industrial Control Technology

2015 - 2025

Zhejiang University of Technology

2015 - 2025

Zhejiang University

2024 - 2025

Shanghai Maritime University

2023 - 2023

Publications