124
reputation
7

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
1
question
~357
people reached
  • Uppsala, Sweden
  • Member for 3 years, 1 month
  • 0 profile views
  • Last seen May 23 '18 at 8:36

Top tags (1)

Score 2
Posts 2
Posts % 100

Top posts (2) All Questions Answers | Votes Newest

Badges (7)

Gold

Silver

Bronze

7

Rarest