Stavros Aronis
Senior Developer & Trainer at Erlang Solutions
Based in Uppsala, Sweden
7-day free trial · no credit card
Seniority
Other
Department
Other
Location
Uppsala
Industry
IT Services and IT Consulting
Company size
116
Contact information
Reveal Stavros's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
s•••••••@erlang-solutions.com
Phone
5 credits+46 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Stavros Aronis
Μaintainer and developer of the following tools for Erlang developers- Dialyzer, the Discrepancy Analyzer for Erlang programs (parallel version)- Concuerror, the Concurrency Error detector Highlights from previous work- Developing an Optimal Dynamic Partial Order Reduction algorithm and applying it on concurrent Erlang programs- Parallelizing Dialyzer (included in Erlang/OTP)- Improving Dialyzer's type system precision (experimental)
Decision-makers
Other people at Erlang Solutions
- AVOther
Ajith Vijayan
Software Engineer · Other
- ESC-Team
Erik Schön
Managing Director, Nordics · General Business & Management
- SSStaff
Siddalingappa Sidda
IT · Information Technology
- ODManager
Oli Dowling
Digital Marketing Manager · Advertising & Marketing
- RDStaff
Rhys Davey
Software Developer · Information Technology
Build a list of verified contacts at Erlang Solutions
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Stavros
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime