Skip to content

Scientist · Computer Science

Bernard Serpette

Université Bordeaux-I, Talence,

iD0000-0003-0431-0914

Citations, last 5 years: 0
Works, last 5 years: 5
h-index: 11
Citations, all time: 445
In Computer Science: #453,285

Research topics

Logic, programming, and type systems49Computer Science
Formal Methods in Verification17Computer Science
Parallel Computing and Optimization Techniques12Computer Science
Teaching and Learning Programming9Computer Science
Distributed systems and fault tolerance8Computer Science

Recent works

Discussion

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

Start a discussion