CPP
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Floris van Doorn

Registered user since Tue 5 Jan 2016

Name: Floris van Doorn

Bio: I am currently a third year Ph.D. student in the Philosophy Department at Carnegie Mellon University. My advisor is Jeremy Avigad and I am also working together with Steve Awodey. I am enrolled in the Pure and Applied Logic program.

I previously studied at the Utrecht University in the Netherlands where I received a B.Sc. in Mathematics, a B.Sc. in Physics and a M.Sc. in Mathematics. My master thesis is Explicit convertibility proofs in Pure Type Systems supervised by Freek Wiedijk at the Radboud University Nijmegen. I was also trainer for the Dutch Mathematical Olympiad.

Affiliation: Carnegie Mellon University

Personal website: http://www.contrib.andrew.cmu.edu/~fpv/

POPL 2016 Activities

POPL 2016-profile
View general profile