About

I am a currently research associate in the Verification Group at the University of Liverpool. My main research interests are logic, games and automata, in particular in the contexts of verification and descriptive complexity.

The best way to contact me is by email: lastname at liverpool dot ac dot uk

You can also try your luck and show up in 2.13 in Ashton Building, Liverpool.

Biography

I am from Finland, as the name suggests, but lived in France for all of my school years.

I spent four years at the University of Cambridge, where Bjarki Holm and Anuj Dawar introduced me to the wonderful world of logics and games. I ended up with an M.A and M.Phil.

After a half-year internship with Google in London, I moved to Edinburgh to join the Laboratory for Foundations of Computer Science. I worked under Julian Bradfield’s supervision on complexity in the modal mu calculus, with Sandra Quickert as my second supervisor. I graduated in July 2017 with a doctorate.

In 2017, I started a post-doc in Kiel, Germany. I spent two years in Dirk Nowotka’s Dependable Systems group, punctuated with a couple of months in Herzeliya, Israel, to work with Udi Boker on automata.

In 2019 I moved to sunny Liverpool to join the Verification group here. As of April 2020 I am a Marie Skłodowska-Curie Fellow.

I’m looking forward to spending four months at the Simons Institute for the Theory of Computing in Berkeley next year, taking part in their Theoretical Foundations of Computer Systems program.