Biv
  • GitHub
  • Nijmegen, Netherlands
  • Member for 5 years, 10 months
Stats
9,699
reputation
258k
reached
124
answers
5
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

2
gold badges
33
silver badges
66
bronze badges

Top tags (105)

Score 221
Posts 25
Posts % 19
Score 165
Posts 22
Score 144
Posts 13
Score 109
Posts 18
Score 76
Posts 13
Score 64
Posts 10

Top posts (129)

View all questions and answers