- outreach
- research
- travel
- current-events
- papers
•
•
•
•
-
Paper Accepted in TACAS
31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
-
Call for papers of SAT 2025
The conference I am organizing
-
Finlandssvenska Fysik och Kemi Dagarna
My Research for Science Teachers
-
Mene ja Tiedä
My Research for High Schoolers
-
Travels & Presentations
Belgium, India, Spain and Helsinki