2026 Derek Dreyer: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	42	8513	8274	417	405	91	5927

Research.com Recognitions

2011 - ACM Senior Member

Overview

Derek Dreyer is affiliated with the Max Planck Institute for Software Systems in Germany. Their research primarily spans the field of Computer Science, with a focus on several subfields including Artificial Intelligence, Computational Theory and Mathematics, Software, Computer Networks and Communications, and Hardware and Architecture.

The main topics of Derek Dreyer's work include:

Logic, programming, and type systems
Security and Verification in Computing
Formal Methods in Verification
Distributed systems and fault tolerance
Software Testing and Debugging Techniques
Parallel Computing and Optimization Techniques
Advanced Malware Detection Techniques

Dreyer has published extensively with a total of 69 publications in Computer Science. Frequent venues for these publications include:

Proceedings of the ACM on Programming Languages (20 publications)
Communications of the ACM (1 publication)
Journal of the ACM (1 publication)
HAL (Le Centre pour la Communication Scientifique Directe) (1 publication)
Zenodo (CERN European Organization for Nuclear Research) (1 publication)

Recent scholarly papers by Derek Dreyer include:

"Safe systems programming in Rust," 2021, Communications of the ACM
"Finding real bugs in big programs with incorrectness logic," 2022, Proceedings of the ACM on Programming Languages
"Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning," 2023, Proceedings of the ACM on Programming Languages
"Concurrent incorrectness separation logic," 2022, Proceedings of the ACM on Programming Languages
"Conditional Contextual Refinement," 2023, Proceedings of the ACM on Programming Languages

Dreyer frequently collaborates with several co-authors, including:

Michael Sammler
Robbert Krebbers
Ralf Jung
Simon Spies
Lennard Gäher

In recognition of their contributions to the field, Derek Dreyer was awarded the ACM Senior Member status in 2011.

Best Publications

Iris from the Ground up: A modular Foundation for Higher-order Concurrent Separation Logic

Ralf Jung;Robbert Krebbers;Jacques-Henri Jourdan;Aleš Bizjak

421
Citations
RustBelt: securing the foundations of the Rust programming language

Ralf Jung;Jacques-Henri Jourdan;Robbert Krebbers;Derek Dreyer

414
Citations
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

Ralf Jung;David Swasey;Filip Sieczkowski;Kasper Svendsen

356
Citations
The impact of higher-order state and control effects on local relational reasoning

Derek Dreyer;Georg Neis;Lars Birkedal

278
Citations
State-dependent representation independence

Amal Ahmed;Derek Dreyer;Andreas Rossberg

232
Citations
Repairing sequential consistency in C/C++11

Ori Lahav;Viktor Vafeiadis;Jeehoon Kang;Chung-Kil Hur

212
Citations
A promising semantics for relaxed-memory concurrency

Jeehoon Kang;Chung-Kil Hur;Ori Lahav;Viktor Vafeiadis

199
Citations
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Aaron Turon;Derek Dreyer;Lars Birkedal

174
Citations
The Essence of Higher-Order Concurrent Separation Logic

Robbert Krebbers;Ralf Jung;Aleš Bizjak;Jacques-Henri Jourdan

160
Citations
How to Make Ad Hoc Proof Automation Less Ad Hoc

Georges Gonthier;Beta Ziliani;Aleksandar Nanevski;Derek Dreyer

159
Citations
GPS: navigating weak memory with ghosts, protocols, and separation

Aaron Turon;Viktor Vafeiadis;Derek Dreyer

158
Citations
Higher-order ghost state

Ralf Jung;Robbert Krebbers;Lars Birkedal;Derek Dreyer

149
Citations
The power of parameterization in coinductive proof

Chung-Kil Hur;Georg Neis;Derek Dreyer;Viktor Vafeiadis

138
Citations
Logical Step-Indexed Logical Relations

Derek Dreyer;Amal Ahmed;Lars Birkedal

118
Citations
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris

Jan-Oliver Kaiser;Hoang-Hai Dang;Derek Dreyer;Ori Lahav

117
Citations
A type system for higher-order modules

Derek Dreyer;Karl Crary;Robert Harper

117
Citations
Pilsner: a compositionally verified compiler for a higher-order imperative language

Georg Neis;Chung-Kil Hur;Jan-Oliver Kaiser;Craig McLaughlin

116
Citations
A kripke logical relation between ML and assembly

Chung-Kil Hur;Derek Dreyer

102
Citations
Logical relations for fine-grained concurrency

Aaron J. Turon;Jacob Thamsborg;Amal Ahmed;Lars Birkedal

102
Citations
Non-parametric parametricity

Georg Neis;Derek Dreyer;Andreas Rossberg

97
Citations

Frequent Co-Authors

Viktor Vafeiadis Max Planck Institute for Software Systems

Lars Birkedal Aarhus University

Robert Harper Carnegie Mellon University

Simon Jones Microsoft (United States)

Peter W. O'Hearn University College London

Bart Jacobs Radboud University

Zhong Shao Yale University

Peter Sewell University of Cambridge

Mooly Sagiv Tel Aviv University

Michael L. Overton Courant Institute of Mathematical Sciences

External Links

Personal website of Derek Dreyer Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring computer science doesn’t always require a traditional four-year degree—many students start with an associate's degree online. These programs are designed for flexibility, helping learners build foundational skills while balancing other commitments.

For those concerned about finances, there are a range of affordable online degree programs that make earning a qualification in computer science or related fields accessible for more people. Tuition costs, scholarships, and payment plans can vary, so it's important to compare options.

If your GPA is a concern, there are reputable online colleges that accept 2.0 gpa applicants. These colleges offer second chances to students who are motivated to begin or continue their studies, especially in tech-focused disciplines like computer science.

Computer science skills also complement a wide variety of careers—including in STEM areas like environmental science. Discover more about career opportunities with an environmental science degree and the interdisciplinary pathways available for tech-savvy graduates.