Skip to main content
Code Review
Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov
  • Member for 12 years, 11 months
  • Last seen more than 10 years ago
  • Netherlands
Profile Activity
Stats
3,229
reputation
1k
reached
2
answers
5
questions
Communities
View all
About

I'm a PhD student of mathematics and computer science at Radboud University Nijmegen, and I work on Kotlin at JetBrains. My primary research interests are formal verification and programming language theory; additionally, I dabble in labelled transition systems and computability theory.

I am also known as Cactus or jesyspa elsewhere on the net.

Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
9
bronze badges
Top tags
View all tags
8
Score
7
Posts
100
Posts %
6
Score
2
Posts
29
Posts %
2
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
21
Is it okay to add someone else's linked code to the question?
Feb 13, 2012
6
Should different questions be made for style and functional questions?
Nov 29, 2012
5
Should different questions be made for style and functional questions?
Nov 29, 2012
5
FizzBuzz tag wiki -- should we even mention the game?
Sep 1, 2013
4
What does a piece of code need to satisfy to be a "real project" by itself?
Jan 13, 2012
2
Are questions that ask for profiling tools considered on-topic?
Feb 1, 2012
2
Making Code Review a resource for examples on software design issues
Jan 21, 2012
Top network posts
View all network posts
41
Does Overloading Operator<< works inside the class?
37
Is a while loop intrinsically a recursion?
20
Can C++ code be valid in both C++03 and C++11 but do different things?
19
What makes a language Turing-complete?
18
Why does my class's destructor get called when I add instances to a vector?