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.
