Pulse एक्सप्लोर nav.journalClub बहसें ट्रेंडिंग शोधकर्ता

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

Download on theApp Store

होम एक्सप्लोर nav.journalClub ट्रेंडिंग

⌘+K

Zhuo Huang | Synapse

ZH

Zhuo Huang

Formal Methods in Verification

Peking University

About

Research focus

Formal Methods in Verification

Impact

22 pubs · 104 cites · h-index 5

Affiliations

Work Experience

Peking University

2024 - 2025

Changjiang Water Resources Commission

2025 - 2025

Central Hospital of Wuhan

2025 - 2025

Wuhan General Hospital of Guangzhou

2025 - 2025

Wuhan University of Science and Technology

2025 - 2025

Publications