Robbert Krebbers

Registered user since Thu 16 Jun 2016

Name:Robbert Krebbers
Bio:

I am an associate professor at the department of software science at Radboud University Nijmegen, The Netherlands.

My research is centered around scaling up program verification techniques to challenging programming paradigms like concurrency, higher-order functions and modules, and applying these techniques to programming languages like C, Rust, and Scala. I like to build solid mathematical foundations and usable tools, preferably using the Coq proof assistant.

The main research project I am the co-designer and co-leader of is Iris: a framework for concurrent separation logic in Coq. Iris has been deployed in a wide variety of verification projects, for many different programming languages, at many different institutes world-wide. Check out the Iris website for more information!

I have received my PhD (cum laude) from Radboud University Nijmegen (2011-2015), have been a postdoc in the logic and semantics group at Aarhus University (2015-2016), and an assistant professor in the programming languages group at Delft University of Technology (2016-2020).

Country:Netherlands
Affiliation:Radboud University Nijmegen
Research interests:Semantics, Separation logic, Theorem proving, Coq

Contributions

POPL 2022 Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic
VIP: Verifying Real-World C Idioms with Integer-Pointer Casts
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations
PLMW 2022 Committee Member in Organizing Committee within the PLMW 2022-track
Session Chair of Morning 1 (part of PLMW 2022)
CPP 2022 Conference Chair in Organization Committee within the CPP 2022-track
Session Chair of Chairs' Report and Business Meeting (part of CPP 2022)
Session Chair of Welcome from the chairs (part of CPP 2022)
Show activities from other conferences

POPL 2022-profile
View general profile