161
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
1
answer
0
questions
~3k
people reached

Top tags (3)

Score 6
Posts 1
Score 6
Posts 1
Score 6
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (4)

Gold

Silver

Bronze

4

Rarest