Mathias Jakobsen

Mathias Jakobsen

PhD Student

University of Glasgow

I am a PhD Student in the School of Computing Science at University of Glasgow. I finished my BSc and MSc from Aalborg University in 2020, where I spent the last two years working on behaviopural types, in the Mungo research project.

I am now continuing my work on Mungo at the University of Glasgow under the supervision of Dr. Ornela Dardha and Prof. Dimitrios Pezaros.


  • Programming languages
  • Semantics and type systems


  • MSc in Computing Science, 2020

    Aalborg University

  • BSc in Computing Science, 2018

    Aalborg University