166
reputation
8

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
1
question
~4k
people reached

Top tags (7)

Score 3
Posts 1
Posts % 33
Score 3
Posts 1
Score 3
Posts 1
Score 3
Posts 1
Score 2
Posts 2
Score 2
Posts 2

Top posts (3)

Badges (8)

Gold

Silver

Bronze

8

Rarest