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.


Professional service

ESOP'21 (PC), FSCD'21 (PC), ICFP'20 (PC), PLMW'20 (co-chair), CoqPL'20 (co-chair), PLNL'19 (PC), Iris Workshop'19 (co-chair), CoqPL'19 (co-chair), PLNL'18 (co-chair), POPL'19 (PC), HOPE'17 (PC), POPL'17 (ERC + AEC), CPP'17 (PC), Coq Workshop'16 (PC).

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