Robuste Kernroutinen für verteilte Systeme

• Antragsteller: Dr. Christoph Lenzen
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2012 bis 2014
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 225979776

Das geplante Projekt behandelt verschiedene, sich teilweise überschneidende, Aspekte verteilter Systeme, namentlich Uhrensynchronisation, Graphalgorithmen, und drahtlose Netzwerke. Das verbindende Ziel ist die Erforschung von Grundbausteinen für verteilte Systeme, die beweisbar effizient unter realistischen Annahmen an das jeweilige System arbeiten. Dies erfordert die gleichzeitige Berücksichtigung von Systemeigenschaften wie der Zuverlässigkeit von Komponenten, Unsicherheit von Kommunikation (und den kommunizierten Inhalten), Gleichzeitigkeit von Operationen, begrenzte Rechenkapazitäten oder verfügbare Informationen, usw. Nichtbeachtung eines einzelnen dieser Paramater kann bereits die gesamte hergeleitete Theorie unwesentlich für die Praxis machen.

• DFG-Verfahren: Forschungsstipendien
• Internationaler Bezug: USA
• Gastgeberin: Professorin Nancy Lynch