Lehrstuhl Softwaretechnik

Chair of Software Technology: Programming Distributed Systems

Prof. Dr. Annette Bieniusa

I am interested in semantics of concurrent and distributed programming, with a focus on (geo-)replication, synchronization, and programming language concepts.

In particular, my research targets programming models that make use of relaxed memory semantics, where updates to the shared state are visible only eventually to other processes. This enables optimistic execution of computations with minimal synchronization overhead while still being able to construct programs with provably correct behavior.

I am also working on topics related to the development of correct and highly scalable programs in concurrent and distributed systems, such as Software Transactional Memory (STM) and Convergent Replicated Datatypes (CRDTs). In this effort, I am leading the development of AntidoteDB, a planet-scale, highly available, transactional CRDT database.


TU Kaiserslautern
Gebäude 34 , Raum 416
67663 Kaiserslautern

Postfach 3049
67653 Kaiserslautern


Tel.: +49 631 205 3958
Fax: +49 631 205 3331
E-Mail: bieniusa@cs.uni-kl.de


11:00  - 12:00 Uhr  (Mittwoch)

oder nach Vereinbarung


  • Antidote: Highly-available transactional data store featuring geo-replication, CRDTs and transactional causal+ consistency (since 2013 leading developer and project manager)
  • ArrowTasks: Declarative Workflow Programming. Draft paper
  • Outreach Program for local schools and kindergardens: https://schule.cs.uni-kl.de
  • Research Training Group “weacon” (May 2014 - May 2015): The members of the research training group investigate (weak) notions of consistency in concurrent and distributed systems.
  • ConcoRDanT: Replicated date types for consistency without concurrency control in Cloud and Peer-to-Peer systems (funded by ANR, 2010–2013)
  • J-Cell: Scalable and robust distributed run-time environments for clusters of heterogeneous many-core processors (funded by BMBF, 2009–2011)

Grants and Scholarships

  • Lightkone: In this H2020 EU project, we investigate synchronization-free programming for edge networks (2017-2019, work package leader)
  • SyncFree: In this FP7-Strep EU project, we investigate how to provide consistency in large-scale distributed systems without relying on non-scalable synchronization techniques. (2013-2016, work package leader)
  • Carl-Zeiss-Doktoranden-Programm, Projekt “Architecture-aware Verification” (Stipendium für Sebastian Schweizer, Betreuung zusammen mit Prof. Roland Meyer, TU Braunschweig)
  • Participation at Heidelberg Laureate Forum (2016), workshop organization together with Barbara Liskov and Sir Tony Hoare
  • Nachwuchsring TU Kaiserslautern - Grant (2015)
  • Amazon AWS in Education - Grant (2014)
  • INRIA postdoc scholarship (2011-2012)
  • DFG PhD scholarship (2006-2009)
  • Scholarship of the German National Academic Foundation (Studienstiftung des Dt. Volkes) (2000-2006), merit scholarship for < 1% of all students in Germany
  • Scholarship of the Erasmus program (2002)

Further Activities

  • Expert Panel ``Programming Languages'' on IEEE Computer Society, ACM and AAAI ``CS202X Curriculum Report: Curriculum Guidelines for Undergraduate Programs in Computer Science
  • Program Manager for the PhD Program of the Department of Computer Science, TU Kaiserslautern (since 2012)
  • Member of the Faculty Board in CS (since 2018
  • Member of the Board for Studies and Teaching (since 2011)
  • Member of the Forum Wissenschaftlicher Mitarbeiter at TU Kaiserslautern (2018-2022)
  • Scientific advisory board for BOBKonf
  • Program Chair for Erlang Workshop’20 (with Viktoria Fördös) and Erlang Workshop'21 (with Stavros Aronis)
  • Program Chair for PaPoc’17 (with Alexey Gotsman)
  • Program committees: WTTM’12, TRANSACT’13, EuroSys’13 (Shadow Program committee), ICDCS’14, TRANSACT’15, BOB’15, DCC’15, CloudCom’15, BOB’16, DCC’16, PMLDC’16, W-PSDS’16, CloudCom’16, ICDCN’17, InfoComm’17, BOB’17, Mobilware’17, CloudCom’17, Eurosys’18, Netys’18, BOB’18, PPDP’18, BOB’19, FORTE’19, Erlang Workshop’19, SummerBOB’19, W-PSDS at SRDS’19, Middelware’20, POPL'20, CCGrid'21, ATC'21, ECOOP'22, OOPSLA'22, OSDI'22, ATC'22, PLF'22, PADL'23, ESOP'23
  • Reviews for Journal of Distributed and Parallel Computing (JDPC), ACM Transactions on Parallel Computing (TOPC), ACM Transactions on Programming Languages and Systems (TOPLAS), JFP (Journal of Functional Programming), Journal of Logical and Algebraic Methods in Programming (JLAMP), Computer Networks (COMNET)
  • Local organization of ICFP 2007 and IFL 2007 in Freiburg and of the ACM Europe Chapter Workshop 2012 in Paris

Zum Seitenanfang