Robbert Krebbers


Robbert 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



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

Office: room 08.030, EWI building, Mekelweg 4, Delft

Send mail/packages to:

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