Skip to content FI · EN

Joel Kronqvist

Welcome to my website!

I'm a undergraduate mathematics and computer science student at Aalto university. I am currently a summer intern in our Mathematical Physics research group, where I work on my BSc thesis. My thesis involves using the Lean 4 theorem prover to formally verify some results in my supervisors, Kalle Kytölä's formalisation project, see https://github.com/kkytola/ExtremeValueProject.

I don't publish as much content in English on the web as in Finnish. I have written some English content in my gemini capsule, which you can find at gemini://cron4.fi.

You might want to check out my git repositories. The source of my website is available there.

Also, in case you want to send me encrypted messages or verify that I have indeed signed a file, you can find my public key & its fingerprint here.

Here is still an explicit index of the English side of my website.

Privacy notice