Skip to content

Scientist · Computer Science

Lars Birkedal

Aarhus University, Aarhus, Denmark

iD0000-0003-1320-0098

Citations, last 5 years: 343
Works, last 5 years: 105
h-index: 43
Citations, all time: 6 700
In Computer Science: #31,981

Research topics

Logic, programming, and type systems380Computer Science
Formal Methods in Verification260Computer Science
Advanced Algebra and Logic99Computer Science
Distributed systems and fault tolerance68Computer Science
Logic, Reasoning, and Knowledge61Computer Science

Recent works

Discussion

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

Start a discussion