hiii~ 🩷

i am a third year undergraduate student in mathematics at Institut Teknologi Bandung (ITB).

my interests are in category theory, type theory, and proof assistants such as Lean.

other nonmathematical interests include computer science, linguistics, animanga, and japanese music.