As of May 31, 2023, we have updated our Code of Conduct.
Code Review
aronisstav's user avatar
aronisstav's user avatar
aronisstav's user avatar
aronisstav
  • Member for 10 years, 6 months
  • Last seen more than 2 years ago
Profile Activity
Stats
236
reputation
1k
reached
4
answers
0
questions
Communities
View all
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
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
6
Score
4
Posts
100
Posts %
3
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
1
Score
1
Posts
25
Posts %
Top posts
All Questions Answers
Score Newest
answer
3
Slow Erlang code to find Pythagorean triplets
May 9, 2013
answer
1
Coins problem in Erlang
Nov 6, 2015
answer
1
Short Erlang function to demonstrate hd and tl
Apr 14, 2016
answer
1
Killing and restarting processes
Dec 9, 2016
Top network posts
View all network posts
259
Jekyll post not generated
112
Jekyll post not generated
26
Specifications for functions: -spec. Efficiently usage
22
How do you write a fun that's recursive in Erlang?
13
Erlang: no match of right hand side value

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.