I'm a lecturer at JetBrains and am finishing up my maths & CS PhD at Radboud University Nijmegen. Working on some formal verification stuff in Kotlin. Into maths, books, tea, board games, TTRPGs.

Software developer #iOS, #Android, #KMP #Swift #Kotlin
Co-owner of Fablab Oita, Japan.
🌏 #Japan, #Oita

Software engineer (C#, Kotlin, Golang, Java, Rust, Python), I really like housing, bikes, and nice communities 👩🏻‍🦰 ✡️ 🇮🇪 🏳️‍🌈 🏳️‍⚧️

Lilah tov moon, lilah tov cow jumping over the moon 🌕 🐄