Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Floris van Doorn

Registered user since Tue 5 Jan 2016

Name:Floris van Doorn
Country:United States
Affiliation:University of Pittsburgh
Personal website: http://florisvandoorn.com/
Research interests:Interactive Theorem Proving, Homotopy Type Theory

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile
OSZAR »