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 13 years, 4 months
  • Last seen more than 2 years ago
  • Netherlands
Profile Activity
Stats
3,229
reputation
257k
reached
53
answers
7
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.
19
silver badges
29
bronze badges
Top tags
View all tags
149
Score
43
Posts
72
Posts %
30
Score
6
Posts
10
Posts %
20
Score
4
Posts
7
Posts %
12
Score
6
Posts
10
Posts %
12
Score
5
Posts
8
Posts %
11
Score
4
Posts
7
Posts %
Top posts
View all questions and answers
answer
13
Custom nullptr_t class
Dec 5, 2012
answer
11
Stack implementation using arrays
Sep 15, 2012
answer
10
Testing new C++11 features with Hangman
Jan 1, 2012
question
9
Take two on type to instance map [closed]
Sep 8, 2012
question
8
Vector of derived classes
Dec 3, 2012
answer
8
Critique my first C++ "Hello World" program
Feb 3, 2012
question
7
Type to instance map
Sep 4, 2012
answer
7
Tree-traversal without recursion
Jul 5, 2012
answer
6
Random number generation in Dice class
Sep 24, 2013
question
6
Asserting when cleanup is required
Jan 21, 2012
Top Meta posts
5
2
21
Is it okay to add someone else's linked code to the question?
6
Should different questions be made for style and functional questions?
5
Should different questions be made for style and functional questions?
5
FizzBuzz tag wiki -- should we even mention the game?
4
What does a piece of code need to satisfy to be a "real project" by itself?
Top network posts
View all network posts
42
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?