Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
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

ICFP 2018Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track
Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
Show activities from other conferences

ICFP 2018-profile
View general profile