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
-
Uppsala, Sweden
-
Member for 4 years, 9 months
-
4 profile views
-
Last seen Mar 26 at 13:07
