I am a PhD student at the University of Birmingham in
the
Theoretical Computer Science group.
My supervisor is Martín
Escardó and my co-supervisor is
Benedikt Ahrens.
Room 218
School of Computer Science
University of Birmingham
Edgbaston
B15 2TT
Birmingham
United Kingdom
My email address is: t.dejong[symbol]pgr.bham.ac.uk.
I am working on constructive and predicative domain theory in Univalent Foundations.
I obtained a double bachelor's degree in Computer Science and Mathematics at
Utrecht University in 2015.
I completed a research master in Mathematics at the same university in 2018.
My master's thesis was on the realizability topos of Scott's graph model and
was supervised by Jaap
van Oosten.
I have been a PhD student at the University of Birmingham since October 2018.
This talk was recorded and is available on YouTube.
This talk was recorded and is available on YouTube.
This talk was recorded and is available on YouTube.
This talk was recorded and is available on YouTube.
The Scott Model of PCF in Univalent Type Theory (with notes) at CCC 2019, Ljubljana, 5 September 2019.
Please note that this 40-minute talk covers much more than the 15-minute talk (below) at TYPES.