Skip to content

Scientist · Computer Science

Rodolphe Lepigre

Max Planck Institute for Software Systems, Saarbrücken, Germany

iD0000-0002-2849-5338

Citations, last 5 years: 45
Works, last 5 years: 5
h-index: 6
Citations, all time: 225
In Computer Science: #179,544

Research topics

Logic, programming, and type systems22Computer Science
Formal Methods in Verification14Computer Science
Advanced Algebra and Logic7Computer Science
Software Testing and Debugging Techniques6Computer Science
semigroups and automata theory4Computer Science

Recent works

Discussion

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

Start a discussion