Skip to main content
Biv's user avatar
Biv's user avatar
Biv's user avatar
Biv
  • Member for 8 years, 1 month
  • Last seen more than 1 year ago
Stats
231
reputation
2k
reached
2
answers
0
questions
Loading…
About

PhD Student in Cryptography and Formal Methods (Coq, B, Assembly) at Radboud University.

Note: I don't speak a word of Dutch...

gpg: A5B8 21DE 5C56 D288 9823 8F9F FC0E EBB8 ABD0 A8E6

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
10
Score
1
Posts
50
Posts %
3
Score
1
Posts
50
Posts %
Top posts