Send email Copy Email Address
© Tobias Ebelshäuser
Research Group


Our group studies theoretical aspects of distributed systems, in particular distributed graph algorithms, fault-tolerance, and clock synchronization. Moreover, we seek to realize efficient and robust physical implementations of such algorithms, e.g. on Systems-on-Chip or large networks such as the Internet or 5G networks. To this end, we employ a broad toolset, ranging from mathematical proofs and formal verification over simulation to ASIC and FPGA implementations.

Head of Group

Christoph Lenzen


Kaiserstraße 21
66386 St. Ingbert (Germany)

Most Recent Publications

Year 2023

Year 2022

Conference / Medium

Proc. Symposium on Distributed ComputingDISC 2022

Conference / Medium

Proc. Symposium on Reliable Distributed SystemsSRDS 2022

Book section

Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Conference / Medium

Proceedings of the ACM Symposium on Principles of Distributed Computing2022 ACM PODC