I am a bachelor in mathematics and software engineering.
- ๐ญ Iโm currently working on full stack multiplatform app development with Kotlin Multiplatform (mainly Vert.x and Compose Multiplatform).
- ๐ฑ Iโm currently learning programming language theory and category theory, taking Haskell, Agda, and Arend as my main tools. To be more precise, I am now studying Category Theory for Programmers I, II, and III by Bartosz Milewski, Cubical Agda, and Arend Tutorial.
- ๐ฏ Iโm looking to collaborate on Kotlin full stack development in Chengdu.
- ๐ฌ Ask me about full stack app development with Kotlin, JVM development, programming languages, and proof assistants.
- ๐ซ How to reach me: send me a message on my LinkedIn profile.