Annette is a professor of Software Technology at the RPTU University Kaiserslautern-Landau. Her research interests include the semantics of concurrent and distributed programming, focusing on replication strategies and synchronization techniques. She is passionate about CRDTs, local-first software, programming languages, verification, and teaching students about all aspects of programming.