Hans Bugge Grathwohl
am a PhD student in
the Logic and
Semantics group at Department of Computer Science,
Aarhus University, working under the supervision of
Lars Birkedal. I have a
MSc in Logic (2013)
from ILLC, University of
Amsterdam, and a BSc in Mathematics (2011) from
University of Copenhagen.
I spent the summer of 2015 as a visitor
at Department of Computer
Science and Engineering, Chalmers University of Technology, working together
with Andrea Vezzosi.
On 6 December 2016 I succesfully defended my PhD dissertation.
My thesis committee consisted of
Peter Dybjer and Brigitte Pientka.
Publications and theses
Guarded Recursive Type Theory
Department of Computer Science, Aarhus University.
Supervisor: Lars Birkedal.
Guarded Cubical Type Theory
With Lars Birkedal, Aleš Bizjak, Ranald Clouston, Bas Spitters, and Andrea Vezzosi.
Abstract for TYPES 2016
Guarded Dependent Type Theory with Coinductive Types
With Aleš Bizjak, Ranald Clouston, Rasmus Møgelberg, and Lars
Abstract for TYPES 2015
Programming with Classical Proofs
Institute for Logic, Language and Computation, University of Amsterdam.
Supervisor: Herman Geuvers.
Recursion Theory, Turing Degrees and Post's Problem
Department of Mathematical Sciences, University of Copenhagen.
Supervisor: Asger Törnquist.