Skip to main content
aronisstav's user avatar
aronisstav's user avatar
aronisstav's user avatar
aronisstav
  • Member for 14 years, 8 months
  • Last seen more than a week ago
Stats
7,865
reputation
0
reached
0
answers
0
questions
Loading…
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
This user doesn’t have any gold badges yet.
14
silver badges
3
bronze badges
Posts

This user hasn’t posted yet.