Mathias Høier

BSc. Mathematics, PhD Student

Mathias Høier


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.

ID: 101941475