Robbert Krebbers

Registered user since Thu 16 Jun 2016

Name:Robbert Krebbers
Affiliation:Radboud University Nijmegen
Research interests:Semantics, Separation logic, Theorem proving, Coq


PLMW 2022 Committee Member in Organizing Committee within the PLMW 2022-track
CPP 2022 Conference Chair in Organization Committee within the CPP 2022-track
Show activities from other conferences

Using general profile