Department of Information Technology

Stavros Aronis

assistant undergoing research training at Department of Information Technology, Division of Computing Science

Visiting address:
Room POL ITC 1357 ITC, Lägerhyddsv. 2, hus 1
Postal address:
Box 337
751 05 UPPSALA

Short presentation

I am a specialist in the Erlang programming language and enjoy testing, teaching and making tools for developers. I am one of the maintainers of Dialyzer and Concuerror.

Highlights of my work on these tools:

  • Developed the parallel version of Dialyzer, included in OTP R15B02.
  • Redesigned Concuerror, a model checking tool for systematically testing concurrent programs (

Keywords: upmarc erlang testing

Also available at

My courses


I developed advanced effective techniques for systematically testing concurrent programs. More specifically, I advanced the field of Stateless Model Checking, developing an Optimal Dynamic Partial Order Reduction algorithm.

I have applied my research through Concuerror, a stateless model checking tool for Erlang programs.

I have also studied the interferences between the built-in primitives and asynchronous events in the Erlang/OTP implementation, such as the message passing and signal handling.


Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Updated  2016-10-25 16:44:17 by Stavros Aronis.