Homepage for Komi Golov

General

• Komi Golov (they/them, die/hen/hun); email, GitHub, Twitter.
• Mathematics PhD student at Radboud University (Nijmegen, The Netherlands).
• On leave to work at JetBrains until January 2024, where I'm adding formal verification to Kotlin.
• Research interests:
  • Mathematical foundations of computer science, in particular type theory, category theory, computability theory, constructive logic, proof formalisation, and univalent foundations.
  • Software engineering, in particular programming language development (Rust!), program verification, and functional programming.
• Other interests: tea, sci-fi & fantasy, go (board game), Lojban.
• Sometimes known as Cactus and/or jesyspa.

Articles

• A. Golov, S. A. Terwijn, Fixpoints and relative precompleteness, Computability 2022, vol 11, no. 2, pp. 135-146, 2022. [published, arXiv]
• A. Golov, S. A. Terwijn, Embeddings between partial combinatory algebras, arXiv 2022. [arXiv]
• H. Geuvers, A. Golov, Directed branching bisimulation via apartness and positive logic, arXiv 2022. [arXiv]