Magnus Myreen

Magnus Myreen (

Professor (in Swedish: bitr. prof.), CS, CSE, Chalmers (room 6478)

Biography and Personal

I was born and grew up in Finland — the country where people wear Nokia boots. My mother tongue is Swedish (the kind spoken in Finland, i.e. finlandssvenska). I also speak Finnish and English. I hold dual citizenship (Finnish and UK).

I did a B.A. in Computer Science at the University of Oxford, tutored by Dr Jeff Sanders. During the summers of my undergraduate degree, I worked as a research assistant at Abo Akademi University in Finland for Prof. Ralph-Johan Back.

I completed my Ph.D. on program verification in 2008/2009 at the University of Cambridge, supervised by Prof. Mike Gordon. My PhD dissertation was selected as the winner of the BCS Distinguished Dissertation Competition 2010.

In 2012, I became a Royal Society Research Fellow.

In 2014, I moved to Chalmers, where I became associate professor in 2015. I was promoted to professor in 2023.