Detailseite
Person
Professor Dr. Martin Grohe
Adresse
Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme
Ahornstraße 55
52074 Aachen
- Als Antragsteller
- laufende Projekte
- Quantitative Analyse von Datenbankanfragen (Deutsch-Israelische-Projektkooperationen)
- Variabilität von dynamischen Knoteneinbettungen (Sachbeihilfen)
-
- abgeschlossene Projekte
- Reine Mathematik (Heisenberg-Stipendien)
-
Die Komplexität von Constraint-Satisfaction Problemen (Sachbeihilfen) -
Die Struktur parametrischer Komplexitätsklassen (Sachbeihilfen)
- Gibt es eine Logik für PTIME? (Forschungssemester) (Sachbeihilfen)
-
Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen (Sachbeihilfen)
-
Logik, Struktur und das Graphenisomorphieproblem (Reinhart Koselleck-Projekte)
- Deskriptive Komplexität des Maschinellen Lernens (Sachbeihilfen)
- Zerlegungen, Tangles und Cluster (Sachbeihilfen)
-
- laufende Projekte
- Als beteiligter Wissenschaftler
- laufende Projekte
- GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (Graduiertenkollegs)
-
- abgeschlossene Projekte
-
GRK 1408: Methoden für diskrete Strukturen (Graduiertenkollegs)
-
- laufende Projekte
