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 University Research Fellow.
In 2014, I moved to Chalmers, where I became associate professor in 2015.