Mathias Høier

BSc. Mathematics, PhD Student

Mathias Høier


I am a PhD student in the Logic and Semantics group at Aarhus University. My supervisor is Lars Birkedal.


  •  Distributed Systems
  •  Iris  


I have co-authored a case-study in formalizing and verifying concurrent stacks with helping in Iris.

I have written section 4.4 and section 7.8 of the Iris lecture notes.


ID: 101941475