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 14 years, 3 months
  • Last seen more than a month ago
  • Netherlands
Profile Activity

Stats

3,269
reputation
265k
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.
20
silver badges
29
bronze badges

Top tags

View all tags
151
Score
43
Posts
72
Posts %
31
Score
6
Posts
10
Posts %
21
Score
4
Posts
7
Posts %
13
Score
6
Posts
10
Posts %
12
Score
5
Posts
8
Posts %
11
Score
6
Posts
10
Posts %

Top posts

View all questions and answers
answer
13
Custom nullptr_t class
Dec 5, 2012
answer
11
Testing new C++11 features with Hangman
Jan 1, 2012
answer
11
Stack implementation using arrays
Sep 15, 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
answer
8
Tree-traversal without recursion
Jul 5, 2012
question
7
Type to instance map
Sep 4, 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?