Write a Blog >>
Robbert Krebbers

Registered user since Thu 16 Jun 2016

Name:Robbert Krebbers
Affiliation:Delft University of Technology
Personal website:http://robbertkrebbers.nl
Research interests:Semantics, Separation logic, Theorem proving, Coq


PLNL 2018 Organizer in Organizing Committee within the PLNL-track
Session Chair of 3 (part of PLNL)
Show activities from other conferences

PLNL 2018-profile
View general profile