196
reputation
4

aronisstav

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
2
answers
0
questions
~2k
people reached

Top tags (6)

Score 8
Posts 2
Posts % 100
Score 7
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest