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
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
AutobiographerSep 25, 2014
This user hasn’t posted yet.