236
reputation
1
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
4
answers
0
questions
~799
people reached

Top tags (5)

Score 6
Posts 4
Score 3
Posts 1
Score 1
Posts 1
Score 1
Posts 1
Score 1
Posts 1

Top posts (4) All Questions Answers | Votes Newest

Badges (5)

Gold

Silver

1

Rarest

Bronze

4

Rarest