Registered user since Tue 21 Feb 2017
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”.
|Erlang 2021|| Bidirectional Typing for Erlang|
Organization Co-chair in Organizing Committee within the Erlang 2021-track
Organization Co-chair in Program Committee within the Erlang 2021-track
|Show activities from other conferences|
View general profile