Prof. Dr. Günter Rote
Fachbereich Mathematik und Informatik
Institut für Informatik
Arbeitsgruppe Theoretische Informatik
Takustraße 9, 14195 Berlin
Schwerpunkte
- Kombinatorische Optimierung
- Algorithmische Geometrie
- Maschinengestütztes Beweisen und Verifizieren in der Mathematik und Informatik