Daniel Gratzer

127 Turing
Aabogade 34
8200 Aarhus N., Denmark


Short CV


GitHub Twitter ORCID

I am a postdoctoral researcher in the Department of Computer Science at Aarhus University. I am advised by Lars Birkedal.

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.



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

Selected Preprints and Unpublished Notes

Selected Talks