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
-
Uppsala, Sweden
-
Member for 9 years, 5 months
-
0 profile views
-
Last seen Sep 9 '11 at 13:50
Communities (31)
Top network posts
- 235 Jekyll post not generated
- 103 Jekyll post not generated
- 26 Specifications for functions: -spec. Efficiently usage
- 21 How do you write a fun that's recursive in Erlang?
- 12 How do I match multiple atoms in Erlang?
- 12 Finding a value in {key, value} list in Erlang
- 9 Is there any efficiency difference between using Dialyzer on Erlang beam and source code?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.