Daniel Gratzer

213 Turing
Aabogade 34
8200 Aarhus N., Denmark

gratzer AT cs DOT au.dk
(old) blog

I am a Ph.D. student in the Department of Computer Science at Aarhus University. I am advised by Lars Birkedal and co-advised by Bas Spitters.

I study programming languages, type theory, logic, and their semantics. I am interested in applying semantic methods to develop program logics for sophisticated concurrent programming languages through the Iris project. I also am interested in (modal) dependent type theories, both their syntactic properties and semantics.



Other sites

GitHub Twitter