Skip to content

Scientist · Computer Science

Peixin Wang

Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China

iD0000-0003-3241-0023

Citations, last 5 years: 57
Works, last 5 years: 27
h-index: 9
Citations, all time: 297
In Computer Science: #156,492

Research topics

Formal Methods in Verification17Computer Science
Logic, programming, and type systems13Computer Science
Software Testing and Debugging Techniques8Computer Science
Reinforcement Learning in Robotics5Computer Science
Adversarial Robustness in Machine Learning5Computer Science

Recent works

Discussion

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

Start a discussion