Komi Golov
Lecturer at JetBrains
Utrecht, Utrecht, Netherlands
Summary
👤
Senior🎓
Top SchoolKomi Golov is a lecturer and researcher with 13 years of experience at the intersection of programming languages, formal verification, and type theory, currently splitting time between teaching PL theory and building verification tooling for Kotlin at JetBrains. Finishing a PhD that spans computability, constructive mathematics, and category theory, Komi brings deep theoretical grounding to practical compiler and language-safety work. Prior industry experience at Google and a history of writing educational technical content (including a C++ tutorial project) reflect a talent for translating complex concepts into accessible learning materials. Based in Utrecht, Komi combines academic rigor with hands-on engineering to make real-world languages safer and more formally robust.
13 years of coding experience
2 years of employment as a software developer
Mathematical Sciences Master, Mathematical Sciences Master at Utrecht University
Github Skills (6)
c-language10
cprogramming-language10
technical-writing10
data-structure7
control-flow7
data-structures7
Programming languages (11)
Github contributions (5)
jesyspa/linear-cpp
Sep 2013 - Aug 2022
An attempt at a C++ tutorial.
Role in this project:
Technical Writer
Technical WriterContributions:1 review, 53 commits, 5 PRs in 9 years 1 month
Contributions summary:Komi appears to be writing a C++ tutorial. Their commits primarily involve writing and editing chapters on various C++ concepts, including control flow, data structures, functions, and templates. The contributions are focused on creating educational content to teach the basics of C++ programming.
cppc-plus-pluscpp17cpp11gcc
jesyspa/master-thesis
Nov 2017 - Aug 2018
Contributions:551 commits, 252 pushes, 47 branches in 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.