Stats
7,865
reputation
0
reached
0
answers
0
questions
Loading…
About
I am a:
- holder of a PhD degree in Computer Science from Uppsala University, with a dissertation titled "Effective Techniques for Stateless Model Checking"
- developer/maintainer of tools that detect errors in Erlang code, such as Dialyzer and Concuerror
- regular participant in Google Code Jam and ICFP Contest
- Greek
Badges
View all badges
This user doesn’t have any gold badges yet.
14
-
Yearling
× 14Jan 25
3
-
CriticMay 15, 2014
-
SupporterApr 28, 2014
-
AutobiographerSep 25, 2014
Posts
This user hasn’t posted yet.