Detailseite

Professor Dr. Erich Grädel

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
Ahornstraße 55
52074 Aachen

Projekte

Als Antragsteller
- laufende Projekte
  - Provenienzanalyse für Logik und Spiele (Sachbeihilfen)
- abgeschlossene Projekte
  - Theoretische Grundlagen und Model-Checking für Abstract-State-Machines (Sachbeihilfen)
  - Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation (Sachbeihilfen)
  - Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik (Sachbeihilfen)
  - Algorithmische Strategien in Mehrpersonen-Spielen - Konzepte und Methoden für kooperationsfähige Systeme (Sachbeihilfen)
  - Logic for Interaction (LINT) (Sachbeihilfen)
  - Partielle Information in Logik und Spielen (Sachbeihilfen)
  - Automatische Strukturen (Sachbeihilfen)
  - Fixpunktlogiken: Ausdrucksstärke, Struktur, Komplexität (Sachbeihilfen)
  - Abhängigkeit und Unabhängigkeit, Quantitative Aspekte und Zählkonstrukte in Logik und Spielen (Sachbeihilfen)
  - Logik, Symmetrie und Komplexität (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 1298: Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn) (Graduiertenkollegs)

Servicenavigation

Hauptnavigation

Professor Dr. Erich Grädel

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Erich Grädel

Zusatzinformationen

Textvergrößerung und Kontrastanpassung