Robbert Krebbers

Robbert Krebbers

Associate Professor, Radboud University Nijmegen
Verified email at cs.ru.nl
Cited by 2904
Programming languages Concurrency Separation Logic Proof assistants Coq
John Wickerson

John Wickerson

Imperial College London
Verified email at imperial.ac.uk
Cited by 1375
programming languages FPGAs high-level synthesis formal methods separation logic
Mike Dodds

Mike Dodds

Galois Inc.
Verified email at galois.com
Cited by 1155
Concurrency Verification Semantics Separation Logic
Kasper Svendsen

Kasper Svendsen

Department of Computer Science, Aarhus University
Verified email at itu.dk
Cited by 1049
Formal Verification Separation Logic Concurrency Higher-order languages Type Theory
Christoph Matheja

Christoph Matheja

Associate Professor, Technical University of Denmark (DTU)
Verified email at dtu.dk
Cited by 1019
program verification probabilistic programs separation logic rust #dtusse
Thomas Dinsdale-Young

Thomas Dinsdale-Young

Aarhus University
Verified email at dy.me.uk
Cited by 1005
Logic and Semantics Separation Logic Program Verification Concurrency
Malte Schwerhoff

Malte Schwerhoff

Lecturer Computer Science, ETH Zurich
Verified email at inf.ethz.ch
Cited by 764
formal methods deductive verification separation logic automated verification
Felix Winterstein

Felix Winterstein

Imperial College London
Verified email at imperial.ac.uk
Cited by 426
FPGA High-level Synthesis Separation Logic Signal Processing Radar
Cristian Gherghina

Cristian Gherghina

Google
Verified email at gherghina.xyz
Cited by 303
Formal Methods Program Verification Separation Logic
Dan Frumin

Dan Frumin

University of Groningen
Verified email at rug.nl
Cited by 276
Programming Languages Semantics Separation Logic Type Theory
1 - 10