Daniel Gratzer

127 Turing
Aabogade 34
8200 Aarhus N., Denmark

gratzer@cs.au.dk

Short CV

Photo

GitHub Twitter ORCID

I am a postdoctoral researcher in the Department of Computer Science at Aarhus University under Lars Birkedal. I am presently at Oxford University as a visiting researcher.

I study programming languages, type theories, and logics. I am particularly interested in applying semantic methods to prove syntactic properties of modal type theories and programming languages. I am also involved in the development of program logics for concurrent programming languages through the Iris project.

Carlo Angiuli and I are currently working on a book on dependent type theory. An early draft of the manuscript is available here: Principles of Dependent Type Theory

Teaching

Publications

Please see my bibliography for bibtex entries for my published papers.

Selected Preprints and Unpublished Notes

Selected Talks