Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik

Address 52056 Aachen
Deutschland

GERiT This institution in GERiT

52056 Aachen

Projects

Research Grants
- Current projects
  - Provenance Analysis for Logic and Games
    (Applicant Grädel, Erich )
- Completed projects
  - Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation
    (Applicant Grädel, Erich )
  - Algorithmische Strategien in Mehrpersonen-Spielen - Konzepte und Methoden für kooperationsfähige Systeme
    (Applicant Grädel, Erich )
  - Automatic Structures
    (Applicant Grädel, Erich )
  - Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik
    (Applicant Grädel, Erich )
  - Dependence and Independence, Quantitative Aspects and Counting Constructs in Logic and Games
    (Applicant Grädel, Erich )
  - Fixed point logics: expressive power, structure, complexity
    (Applicant Grädel, Erich )
  - Logic for Interaction (LINT)
    (Applicant Grädel, Erich )
  - Logic, Symmetry, and Complexity
    (Applicant Grädel, Erich )
  - Partielle Information in Logik und Spielen
    (Applicant Grädel, Erich )
  - Theoretische Grundlagen und Model-Checking für Abstract-State-Machines
    (Applicant Grädel, Erich )
Research Fellowships
- Completed projects
  - Algebraic Methods in Finite Model Theory
    (Applicant Pakusa, Wied )
Research Training Groups
- Completed projects
  - GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn)
    (Spokespersons Katoen, Joost-Pieter ; Thomas, Wolfgang )

© 2024 DFG Disclaimer / Copyright / Privacy Policy