Robbert Krebbers


Robbert I am an assistant professor in the programming languages group at the department of software technology at Delft University of Technology. My research interests span many aspects of program verification, for example:

Before becoming an assistant professor at TUDelft, I have received my PhD (cum laude) from Radboud University Nijmegen under the supervision of Freek Wiedijk and Herman Geuvers, and have been a postdoc in Lars Birkedal's group at Aarhus University.


Research group

PhD students:




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

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

Send mail/packages to:

Dr. Robbert Krebbers
EEMCS, Software Technology
P.O. Box 5031, 2600 GA Delft
The Netherlands