Bachelor in mathematics and software engineering, interested in JVM development (Kotlin, Scala, Android), functional programming and type theory (Haskell, Agda), algorithms, logic, and machine learning