Hans Bugge Grathwohl

Hans Bugge Grathwohl

I am was 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.

Contact

E-mail: mail@hansbugge.dk

Publications and theses

The Clocks Are Ticking: No More Delays!
With Patrick Bahr, and Rasmus Møgelberg.
To appear in Proceedings of LICS 2017.
Guarded Recursive Type Theory
PhD dissertation.
Department of Computer Science, Aarhus University.
Supervisor: Lars Birkedal.
Guarded Cubical Type Theory: Path Equality for Guarded Recursion
With Lars Birkedal, Aleš Bizjak, Ranald Clouston, Bas Spitters, and Andrea Vezzosi.
In Proceedings of CSL 2016. DOI: 10.4230/LIPIcs.CSL.2016.23
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
With Ranald Clouston, Aleš Bizjak, and Lars Birkedal.
In Logical Methods for Computer Science, volume 12, issue 3. (Journal version of FoSSaCS 2015 paper).
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 Birkedal.
In Proceedings of FoSSaCS 2016. DOI: 10.1007/978-3-662-49630-5_2
Guarded Dependent Type Theory with Coinductive Types
With Aleš Bizjak, Ranald Clouston, Rasmus Møgelberg, and Lars Birkedal.
Abstract for TYPES 2015
Programming and Reasoning with Guarded Recursion for Coinductive Types
With Ranald Clouston, Aleš Bizjak, and Lars Birkedal.
In Proceedings of FoSSaCS 2015. DOI: 10.1007/978-3-662-46678-0_26
Programming with Classical Proofs
Master's Thesis.
Institute for Logic, Language and Computation, University of Amsterdam.
Supervisor: Herman Geuvers.
August 2013.
Recursion Theory, Turing Degrees and Post's Problem
Bachelor's Thesis.
Department of Mathematical Sciences, University of Copenhagen.
Supervisor: Asger Törnquist.
June 2011.