Daniel Gratzer

230 Turing
Aabogade 34
8200 Aarhus N., Denmark

gratzer@cs.au.dk

Short CV

GitHub Twitter ORCID

I am a Ph.D. student 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.

Teaching

Publications

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

Selected Preprints and Unpublished Notes

Selected Talks