AS
Arne Stoll
Student @ RPTU Kaiserslautern
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.
social_links:
- platform: linkedin
url: "https://linkedin.com/in/arne-stoll-8163321b6"