Area 51 » Shreck Ye
|
Registered User
|
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 |
network profile
