Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
user avatar
user avatar
user avatar
aronisstav
  • Member for 11 years, 2 months
  • Last seen more than 1 year ago
About

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
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
8
bronze badges
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
2
Score
2
Posts
67
Posts %
2
Score
2
Posts
67
Posts %