BSc. Mathematics, PhD Student
Department of Computer Science
8200 Aarhus N
I am a new PhD student in the Logic and Semantics group at Aarhus University, where I am supervised by Lars Birkedal and have to work with the Higher-Order Concurrent Separation Logic Iris.
Currently I am on paternity leave until 31/5-2017.