Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of aronisstav

aronisstav

aronisstav has asked 4 questions and find answers to 32 problems.

Stats

1.2k
EtPoint
463
Vote count
4
questions
32
answers

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