Annette Bieniusa

Annette is a lecturer and senior researcher at the Technische Universität Kaiserslautern. Her research interests include semantics of concurrent and distributed programming, with a focus on replication, synchronization, and how they are reflected on a programming language level. Annette was involved in several national and international research projects, most recently in the EU-Projects “SyncFree: Large-scale Computation without Synchronization” and “Lightkone: Lightweight computation for networks at the edge“. She is also leading the development of AntidoteDB, a transactional CRDT-key value store.