Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan

Registered user since Thu 16 Jun 2016

Name: Robbert Krebbers

Country: Denmark

Affiliation: Aarhus University, Denmark

Personal website: http://robbertkrebbers.nl

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

ICFP 2016 Activities

ICFP 2016-profile
View general profile