About

I am an assistant professor in the programming languages group at the department of software technology at the Delft University of Technology.

I have received my PhD (cum laude) from the Radboud University under the supervision of Freek Wiedijk and Herman Geuvers. As part of my PhD thesis I have developed an operational, executable and axiomatic semantics of the C programming language. Before joining the TUDelft as an assistant professor, I have been a postdoc in Lars Birkedal's group at Aarhus University, where I have worked on program logics for concurrency.

News

• I am looking for a PhD and postdoc candidates, more information can be found here.
• Our paper on the Iron separation logic has been accepted at POPL'19. You can find a draft here.
• I have been awarded an NWO Veni grant (250.000 EUR)

PhD students

• Arjen Rouvoet (co-promotor, promotor: Eelco Visser)
• Dan Frumin (external co-promotor, co-promotor: Freek Wiedijk, promotor: Herman Geuvers)

Software

• The Iris program logic
• Coq-stdpp: a standard library for Coq
• CH₂O: A formalization of the C11 standard in Coq
• C-CORN: Coq Repository at Nijmegen
• Math classes

Contact

Email: (λ x y . mail @ x y . nl) robbert krebbers

Office: room E04.360, Building 28, Van Mourik Broekmanweg 6, Delft

Send mail/packages to:

Dr. Robbert Krebbers
SCT / EWI, Delft University of Technology
Mekelweg 4
2628 CD Delft
The Netherlands