Joona Piirainen

I'm a programmer living in Helsinki, Finland. I'm currently working as a software engineer at @Adalyon, a software startup based in Helsinki, Finland. I'm interested in writing correct software. This goal has lead me to study programming languages, proof assistants and mathematics.

Recent Blog Posts

Monoid Homomorphisms
2023-08-07
Monoids as a tool for writing composable and reusable programs
2023-08-05
Polynomial interpolation
2023-06-11
Influential papers #0
2023-01-30
Hello, world!
2023-01-23

Software

See my software repositories on GitHub .

CV

Here is my CV as a PDF (updated Jan 28, 2023).