Cactus Golov's user avatar
Cactus Golov's user avatar
Cactus Golov's user avatar
Cactus Golov
  • Member for 12 years
  • Last seen more than a week ago
Stats
875
reputation
108k
reached
10
answers
1
question
Loading…
About

I'm a PhD student of mathematics and computer science at Radboud University Nijmegen. 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 jesyspa elsewhere on the net.

This user doesn’t have any gold badges yet.
7
silver badges
13
bronze badges
37
Score
1
Posts
9
Posts %
37
Score
1
Posts
9
Posts %
19
Score
1
Posts
9
Posts %
6
Score
3
Posts
27
Posts %
5
Score
2
Posts
18
Posts %
5
Score
1
Posts
9
Posts %
Top posts
View all questions and answers