Currently, I'm a Research Fellow in the Programming Principles, Logic and Verification research group at the University College London. I'm working on a project lead by Fabio Zanasi and Paul Wilson.

I have a doctoral degree (2026) in Theoretical Computer Science from University College London.

I have a master's degree (2020) in logic from the Institute for Logic, Language and Computation in Amsterdam, where I did the Logic and Mathematics track.

I have an undergraduate degree (2018) in mathematics from the University of Edinburgh.

In 2014, I graduated from Jyväskylän Normaalikoulu, a high school in my hometown Jyväskylä, Finland.