jesyspa Goto Github PK
Name: Komi Golov
Type: User
Company: @JetBrains
Bio: Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.
Twitter: jesyspa
Location: Utrecht, The Netherlands
Blog: www.math.ru.nl/~agolov/