Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
Robbert Krebbers

Registered user since Thu 16 Jun 2016

Name: Robbert Krebbers

Country: Netherlands

Affiliation: Delft University of Technology

Personal website: http://robbertkrebbers.nl

Research interests: Semantics, Separation logic, Theorem proving, Coq

Contributions

CoqPL 2019Co-chair in Organizing Committee within the CoqPL-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
Author of Iron: Managing Obligations in Higher-Order Concurrent Separation Logic within the Research Papers-track
Show activities from other conferences

POPL 2019-profile
View general profile