Biv
  • GitHub
  • Nijmegen, Netherlands
  • Member for 5 years, 11 months
Stats
9,709
reputation
1k
reached
7
answers
2
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

This user doesn’t have any gold badges yet.
7
silver badges
10
bronze badges

Top tags (11)

Score 32
Posts 7
Posts % 78
Score 12
Posts 2
Score 10
Posts 1
Score 9
Posts 1
Score 7
Posts 1
Score 7
Posts 1

Top posts (9)