Skip to content

Scientist · Computer Science

Huibiao Zhu

Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China

iD0000-0002-0214-8565

Citations, last 5 years: 125
Works, last 5 years: 68
h-index: 18
Citations, all time: 1 743
In Computer Science: #88,647

Research topics

Formal Methods in Verification234Computer Science
Logic, programming, and type systems205Computer Science
Distributed systems and fault tolerance62Computer Science
Model-Driven Software Engineering Techniques57Computer Science
Service-Oriented Architecture and Web Services38Computer Science

Recent works

Discussion

Ask Huibiao about their research. When the scientist claims this card, they will see your question.

Start a discussion