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
Graph-Based Generative Machine Learning for Optimal Molecular 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
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
