Stavros Aronis
Senior Developer & Trainer at Erlang Solutions
Uppsala, Sweden
Summary
🤩
Rockstar🎓
Top SchoolStavros Aronis is a Senior Developer & Trainer with 16 years of experience specializing in tooling for Erlang developers, notably as maintainer and parallelizer of Dialyzer and creator of Concuerror. His work blends deep research—developing an Optimal Dynamic Partial Order Reduction algorithm for concurrent Erlang programs—with practical engineering that improved Dialyzer’s precision and performance and landed in the core Erlang/OTP repository. Based in Uppsala, Sweden, he pairs a PhD in Computer Science with hands-on contributions fixing critical analysis bugs, Windows path issues, and documentation in one of the most widely used Erlang ecosystems. Beyond coding, he teaches and trains engineers, translating formal research into usable developer tools that catch concurrency and type errors early.
15 years of coding experience
M.Sc, Electrical and Computer Enginneering, M.Sc, Electrical and Computer Enginneering at National Technical University of AthensDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Uppsala University
Greek, English, German, Swedish, Spanish
Stackoverflow
7,845reputation
140kreached
92answers
10questions
erlang
top-1%
jekyll
top-1%
Github Skills (12)
erlang10
jekyll10
dialyzer10
code-analysis9
testing8
documentation7
recursion6
functional-programming6
erlang-otp6
tuples6
pattern-matching6
elixir6
Programming languages (9)
Github contributions (5)
erlang/otp
May 2010 - Mar 2021
Erlang/OTP
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 reviews, 207 commits, 13 PRs in 10 years 11 months
Contributions summary:Stavros primarily contributed to bug fixes and improvements within the Erlang/OTP repository, focusing on the Dialyzer tool. Their work involved addressing issues related to call-site analysis in Dialyzer, as well as correcting specifications and handling Windows-specific path issues within the reltool utility. These changes improved the accuracy and reliability of the Erlang code analysis and build tools. Additionally, they fixed documentation typos.
gleamerlangbeamerlang-otpelixir
parapluu/Concuerror
Jun 2013 - Sep 2022
Concuerror is a stateless model checking tool for Erlang programs.
Contributions:5 releases, 1 review, 1445 commits in 9 years 4 months
codecovmodel-checkingconcurrent-erlang-programsconcuerrortravis-badge
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.