Research Group
Lenzen
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.
