Detailseite

Privatdozent Dr. Christof Löding

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme
Ahornstraße 55
52074 Aachen

Projekte

Als Antragsteller
- laufende Projekte
  - Reduktions- und Lerntechniken für omega-Automaten (Sachbeihilfen)
- abgeschlossene Projekte
  - Algorithmische Theorie der Baumautomaten (Sachbeihilfen)
  - Automatentheoretische Verifikationsprobleme mit Ressourcenschranken (Sachbeihilfen)
  - Transducersynthese aus automatendefinierbaren Spezifikationen (Sachbeihilfen)
Als beteiligter Wissenschaftler
- laufende Projekte
  - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (Graduiertenkollegs)
- abgeschlossene Projekte
  - GRK 1298: Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn) (Graduiertenkollegs)

Servicenavigation

Hauptnavigation

Privatdozent Dr. Christof Löding

Zusatzinformationen

Servicenavigation

Hauptnavigation

Privatdozent Dr. Christof Löding

Zusatzinformationen

Textvergrößerung und Kontrastanpassung