Skip to main content
English Language & Usage
Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov
  • Member for 13 years, 3 months
  • Last seen more than a month ago
  • Netherlands
Profile Activity
Stats
135
reputation
9k
reached
0
answers
2
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
This user doesn’t have any gold badges yet.
1
silver badge
6
bronze badges
Top tags
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
question
3
Would 'determine' or 'decide' be more correct when talking about a target audience?
Nov 6, 2011
question
0
(Why) is this "how many" question ungrammatical?
Apr 19, 2017
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?