Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
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
Research interests:Distributed and concurrent programming, consistency and replication

Contributions

Erlang 2020 Session Chair of Session 2 (part of Erlang 2020)
PC Member in Program Committee within the Erlang 2020-track
Opening
Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+
Co-chair in Organizing Committee within the Erlang 2020-track
Session Chair of Session 3 (part of Erlang 2020)
Show activities from other conferences

ICFP 2020-profile
View general profile