Robbert Krebbers

Robbert Krebbers

Associate Professor, Radboud University Nijmegen
E-mail confirmado em cs.ru.nl
Citado por 2949
Programming languages Concurrency Separation Logic Proof assistants Coq
John Wickerson

John Wickerson

Imperial College London
E-mail confirmado em imperial.ac.uk
Citado por 1383
programming languages FPGAs high-level synthesis formal methods separation logic
Mike Dodds

Mike Dodds

Galois Inc.
E-mail confirmado em galois.com
Citado por 1160
Concurrency Verification Semantics Separation Logic
Kasper Svendsen

Kasper Svendsen

Department of Computer Science, Aarhus University
E-mail confirmado em itu.dk
Citado por 1056
Formal Verification Separation Logic Concurrency Higher-order languages Type Theory
Christoph Matheja

Christoph Matheja

Professor of Theory of Correct Systems, University of Oldenburg
E-mail confirmado em uol.de
Citado por 1025
program verification probabilistic programs separation logic rust
Thomas Dinsdale-Young

Thomas Dinsdale-Young

Aarhus University
E-mail confirmado em dy.me.uk
Citado por 1008
Logic and Semantics Separation Logic Program Verification Concurrency
Malte Schwerhoff

Malte Schwerhoff

Lecturer Computer Science, ETH Zurich
E-mail confirmado em inf.ethz.ch
Citado por 775
formal methods deductive verification separation logic automated verification
Felix Winterstein

Felix Winterstein

Imperial College London
E-mail confirmado em imperial.ac.uk
Citado por 427
FPGA High-level Synthesis Separation Logic Signal Processing Radar
Cristian Gherghina

Cristian Gherghina

Google
E-mail confirmado em gherghina.xyz
Citado por 304
Formal Methods Program Verification Separation Logic
Dan Frumin

Dan Frumin

University of Groningen
E-mail confirmado em rug.nl
Citado por 279
Programming Languages Semantics Separation Logic Type Theory
1 - 10