Annette Bieniusa

Registered user since Tue 21 Feb 2017

Name: Annette Bieniusa

Bio: Annette is a lecturer and researcher at the Technical University of Kaiserslautern. Her research interests include semantics of concurrent and distributed programming, with a focus on replication, synchronization, and programming language concepts such as Software Transactional Memory and Replicated Data Structures. Annette is involved in several national and international research projects, including the EU-H2020 Project “Lightkone: Lightweight computation for networks at the edge”.

Country: Germany

Affiliation: Technische Universität Kaiserslautern

Personal website:

Research interests: Distributed and concurrent programming, consistency and replication


Erlang 2020Session Chair of Session 2 (part of Erlang 2020)
PC Member in Program Committee within the Erlang 2020-track
Author of Teaching practical realistic verification of distributed algorithms in Erlang with TLA+ within the Erlang 2020-track
Co-chair in Organizing Committee within the Erlang 2020-track
Session Chair of Session 3 (part of Erlang 2020)
POPL 2021Committee Member in Program Committee within the Research Papers-track
‹Programming› 2020Contributor/Author of AntidoteDB within the Tutorials-track
Erlang 2019Programme Committee in Program Committee within the Erlang 2019-track
PMLDC 2017Author of Multi-view data types for scalable concurrency in the multi-core era within the PMLDC 2017-track
Committee Member in Program Committee within the PMLDC 2017-track
Erlang 2016Author of Observing the consistency of distributed systems within the Erlang-track
PMLDC 2016Committee Member in Program Committee within the PMLDC-track