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