Robbert Jan Krebbers


Ph.D. Radboud Universiteit Nijmegen 2015 Netherlands
Dissertation: The C standard formalized in Coq
Mathematics Subject Classification: 68—Computer science

Copromotor: Freek Wiedijk
Promotor: Jan Herman Geuvers

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Frumin, DanRadboud Universiteit Nijmegen2021
Kastberg Hinrichsen, JonasIT University of Copenhagen2021
Rouvoet, ArjenTechnische Universiteit Delft2021

According to our current on-line database, Robbert Krebbers has 3 students and 3 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 231177 for the advisor ID.