Annette Bieniusa

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.