Skip to content

Scientist · Computer Science

Derek R. Dreyer

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

iD0000-0002-3884-6867

Citations, last 5 years: 454
Works, last 5 years: 31
h-index: 40
Citations, all time: 5 305
In Computer Science: #22,699

Research topics

Logic, programming, and type systems130Computer Science
Formal Methods in Verification87Computer Science
Security and Verification in Computing32Computer Science
Distributed systems and fault tolerance31Computer Science
Software Testing and Debugging Techniques30Computer Science

Recent works

Discussion

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

Start a discussion