Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov
  • Member for 12 years, 8 months
  • Last seen more than 1 year ago
  • Netherlands
Stats
3,229
reputation
256k
reached
53
answers
7
questions
Loading…
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.

This user doesn’t have any gold badges yet.
18
silver badges
29
bronze badges
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
Dec 5, 2012
answer
11
Sep 15, 2012
question
8
Dec 3, 2012
question
7
Sep 4, 2012
answer
7
Jul 5, 2012
question
6
Jan 21, 2012