Annette Bieniusa

Professor at University of Kaiserslautern-Landau

Annette is a professor of Software Technology at the University of Kaiserslautern-Landau. Her research interests include the semantics of concurrent and distributed programming, with a focus on replication, synchronization, and how they are reflected on a programming language level. She is passionate about CRDTs, verification, and engaging students with the BEAM.

Talk:
Proving What OTP Promises: GenServer in TLA+

Ever wondered how Erlang’s GenServer really works under the hood - and how you can be sure it behaves correctly? This talk introduces TLA+, a powerful tool for modeling and thinking through complex system behaviors, and shows how it can be used to understand and verify the GenServer semantics.

Whether you’re new to formal methods or just curious about making your systems more robust, you’ll leave with a fresh way to look at your systems.

Key Takeaways:

Target Audience: