Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov
  • Member for 12 years, 6 months
  • Last seen more than 10 years ago
  • Netherlands
Stats
3,229
reputation
1k
reached
2
answers
5
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.
12
silver badges
9
bronze badges
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