Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov's user avatar
Komi Golov
  • Member for 12 years, 5 months
  • Last seen more than a week ago
  • Netherlands
Stats
243
reputation
2k
reached
0
answers
1
question
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.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
question
14
Feb 1, 2012