Skip to content

Scientist · Computer Science

Ming Xu

Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China

iD0000-0002-9906-5677

Citations, last 5 years: 155
Works, last 5 years: 36
h-index: 13
Citations, all time: 464
In Computer Science: #73,362

Research topics

Formal Methods in Verification28Computer Science
Logic, programming, and type systems18Computer Science
Polynomial and algebraic computation14Computer Science
Quantum Computing Algorithms and Architecture12Computer Science
Advanced Wireless Communication Techniques7Engineering

Recent works

Discussion

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

Start a discussion