E-mail senden E-Mail Adresse kopieren
© Tobias Ebelshäuser
Forschungsgruppe

Lenzen

Unsere Gruppe untersucht theoretische Aspekte verteilter Systeme, insbesondere verteilte Graphenalgorithmen, Fehlertoleranz und Taktsynchronisation. Außerdem versuchen wir, effiziente und robuste physikalische Implementierungen solcher Algorithmen zu realisieren, z. B. auf Systems-on-Chip oder großen Netzwerken wie dem Internet oder 5G-Netzwerken. Zu diesem Zweck setzen wir ein breites Instrumentarium ein, das von mathematischen Beweisen und formaler Verifikation über Simulation bis hin zu ASIC- und FPGA-Implementierungen reicht.

Gruppenleiter:in

Christoph Lenzen

E-Mail

Telefon

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Neueste Veröffentlichungen

Jahr 2023

Jahr 2022

Konferenz / Medium

DISC
Proc. Symposium on Distributed ComputingDISC 2022

Konferenz / Medium

SRDS
Proc. Symposium on Reliable Distributed SystemsSRDS 2022

Buchkapitel

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

Konferenz / Medium

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