Skip to content

Scientist · Computer Science

Luc Maranget

CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme, Paris, France

iD0000-0001-5312-7759

Citations, last 5 years: 30
Works, last 5 years: 5
h-index: 25
Citations, all time: 2 845
In Computer Science: #220,523

Research topics

Logic, programming, and type systems84Computer Science
Parallel Computing and Optimization Techniques54Computer Science
Distributed systems and fault tolerance43Computer Science
Advanced Database Systems and Queries16Computer Science
semigroups and automata theory13Computer Science

Recent works

Discussion

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

Start a discussion