Project Details
Person
Professor Dr. Martin Grohe
Address
Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme
Ahornstraße 55
52074 Aachen
-
As Applicant
-
Current projects
-
Quantitative reasoning about database queries (DIP Programme)
-
Variability of Dynamic Node Embeddings (Research Grants)
-
Graph-Based Generative Machine Learning for Optimal Molecular Design (Priority Programmes)
-
-
Completed projects
-
Reine Mathematik (Heisenberg Fellowships)
-
Die Komplexität von Constraint-Satisfaction Problemen (Research Grants) -
Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen (Research Grants)
-
Die Struktur parametrischer Komplexitätsklassen (Research Grants)
-
Gibt es eine Logik für PTIME? (Forschungssemester) (Research Grants)
-
Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen (Research Grants)
-
Logik, Struktur und das Graphenisomorphieproblem (Reinhart Koselleck Projects)
-
Descriptive Complexity of Learning (Research Grants)
-
Decompositions, Tangles, and Clusters (Research Grants)
-
-
Current projects
-
As Participating Researcher
-
Current projects
-
GRK 2236: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic (Research Training Groups)
-
-
Completed projects
-
GRK 1408: Methods for Discrete Structures (Research Training Groups)
-
-
Current projects
