Skip to content

Scientist · Computer Science

Arthur Charguéraud

Centre National de la Recherche Scientifique, Paris, France

iD0000-0001-7764-4507

Citations, last 5 years: 28
Works, last 5 years: 19
h-index: 20
Citations, all time: 1 433
In Computer Science: #227,367

Research topics

Logic, programming, and type systems65Computer Science
Formal Methods in Verification38Computer Science
Parallel Computing and Optimization Techniques25Computer Science
Teaching and Learning Programming18Computer Science
Distributed and Parallel Computing Systems13Computer Science

Recent works

Discussion

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

Start a discussion