Skip to main content
Corto's user avatar
Corto's user avatar
Corto's user avatar
Corto
  • Member for 5 months
  • Last seen more than a week ago
Stats
136
reputation
479
reached
4
answers
0
questions
About

PhD student in verification of distributed systems. Interested in all things related to automata theory, games, parameterized verification, modal logics.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
4
Score
1
Posts
25
Posts %
Top posts