Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme
Address
Ahornstraße 55
52074 Aachen
Deutschland
GERiT
This institution in GERiT
52074 Aachen
Projects
Priority Programmes
Current projects
Generative graph machine learning for integrated molecule and process design
(Applicants
Grohe, Martin
;
Mitsos, Ph.D., Alexander
)
Completed projects
Algorithmen über omega-Automaten und Anwendungen in der Programmkonstruktion und -verifikation
(Applicant
Thomas, Wolfgang
)
Heisenberg Fellowships
Completed projects
Reine Mathematik
(Applicant
Grohe, Martin
)
Research Grants
Current projects
Reduction and Learning Techniques for omega-Automata
(Applicant
Löding, Christof
)
Variability of Dynamic Node Embeddings
(Applicants
Grohe, Martin
;
Strohmaier, Markus
)
Completed projects
Algorithmische Theorie der Baumautomaten
(Applicant
Löding, Christof
)
Automatentheoretische Verifikationsprobleme mit Ressourcenschranken
(Applicant
Löding, Christof
)
Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen
(Applicant
Grohe, Martin
)
Decompositions, Tangles, and Clusters
(Applicant
Grohe, Martin
)
Descriptive Complexity of Learning
(Applicant
Grohe, Martin
)
Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen
(Applicant
Grohe, Martin
)
Die Komplexität von Constraint-Satisfaction Problemen
(Applicant
Grohe, Martin
)
Die Struktur parametrischer Komplexitätsklassen
(Applicants
Flum, Jörg
;
Grohe, Martin
)
Frameworks for Measuring Graph Similarity
(Applicant
Rattan, Ph.D., Gaurav
)
Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
(Applicant
Thomas, Wolfgang
)
Gibt es eine Logik für PTIME? (Forschungssemester)
(Applicant
Grohe, Martin
)
Numerische Simulation von Strömung in natürlichen Fließgewässern
(Applicant
Köngeter, Jürgen
)
Schaltkreiskomplexität, Parametrische Komplexität und logische Definierbarkeit
(Applicant
Grohe, Martin
)
Synthesis of transducers from automaton definable specifications
(Applicant
Löding, Christof
)
Reinhart Koselleck Projects
Completed projects
Logik, Struktur und das Graphenisomorphieproblem
(Applicant
Grohe, Martin
)
DIP Programme
Current projects
Quantitative reasoning about database queries
(Applicants
Grohe, Martin
;
Kimelfeld, Benny
)
Research Training Groups
Current projects
GRK 2236: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic
(Spokesperson
Katoen, Joost-Pieter
)
Completed projects
GRK 357: Efficient Algorithms and Multiscale Methods
(Spokesperson
Srivastav, Anand
)
GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn)
(Spokespersons
Katoen, Joost-Pieter
;
Thomas, Wolfgang
)
GRK 1408: Methods for Discrete Structures
(Spokesperson
Skutella, Martin
)
Clusters of Excellence
Completed projects
EXC 89: Ultra High-speed Mobile Information and Communication (UMIC)
(Spokesperson
Ascheid, Gerd
)
Additional Information
© 2025
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
