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. My semantics is based on the description of C by the C11 standard, and can as such be used to reason about C programs in a compiler independent way. For the development of this semantics, I have used the proof assistant Coq.

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.

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
• 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