research & life

a.k.a everything I feel like writing about

Paper Accepted in TACAS

31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems

1 min read · February 10, 2025

2025 · research papers · research
Call for papers of SAT 2025

The conference I am organizing

1 min read · December 02, 2024

2024 · events · events
Finlandssvenska Fysik och Kemi Dagarna

My Research for Science Teachers

2 min read · December 02, 2024

2024 · events presentations · events
Mene ja Tiedä

My Research for High Schoolers

1 min read · October 18, 2024

2024 · publication · publication
Travels & Presentations

Belgium, India, Spain and Helsinki

3 min read · September 29, 2024

2024 · research presentations · current events