Arne Stoll

Arne Stoll is a developer and student with a strong focus on distributed systems, particularly those running on the BEAM VM. As part of his master’s thesis, he explored how TLA+ can be used to model and reason about the behavior of Erlang’s GenServer. He’s passionate about formal methods and distributed systems and showing how tools like TLA+ can help developers reason clearly about the correctness of their systems.