Currently, I'm a PhD student in the Programming Principles, Logic and Verification research group at the University College London, supervised by Fabio Zanasi.

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.