Komi Golov

icon indicating an email [email protected]

icon company @JetBrains icon location Utrecht, The Netherlands icon location Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.

Results 0 issues of Komi Golov