Mathias Høier

BSc. Mathematics, PhD Student

Mathias Høier

Profile

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

Interests: 

  •  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