Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Rheinisch-Westfälische Technische Hochschule Aachen
Fachgruppe Informatik
Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme

Adresse Ahornstraße 55
52074 Aachen
Deutschland

GERiT Diese Institution in GERiT

52074 Aachen

Projekte

Schwerpunktprogramme
- laufende Projekte
  - Graph-Basiertes Generatives Maschinelles Learnen für optimale Moleküle
    (Antragsteller Grohe, Martin ; Mitsos, Ph.D., Alexander )
- abgeschlossene Projekte
  - Algorithmen über omega-Automaten und Anwendungen in der Programmkonstruktion und -verifikation
    (Antragsteller Thomas, Wolfgang )
Heisenberg-Stipendien
- abgeschlossene Projekte
  - Reine Mathematik
    (Antragsteller Grohe, Martin )
Sachbeihilfen
- laufende Projekte
  - Reduktions- und Lerntechniken für omega-Automaten
    (Antragsteller Löding, Christof )
  - Variabilität von dynamischen Knoteneinbettungen
    (Antragsteller Grohe, Martin ; Strohmaier, Markus )
- abgeschlossene Projekte
  - Algorithmische Theorie der Baumautomaten
    (Antragsteller Löding, Christof )
  - Automatentheoretische Verifikationsprobleme mit Ressourcenschranken
    (Antragsteller Löding, Christof )
  - Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen
    (Antragsteller Grohe, Martin )
  - Deskriptive Komplexität des Maschinellen Lernens
    (Antragsteller Grohe, Martin )
  - Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen
    (Antragsteller Grohe, Martin )
  - Die Komplexität von Constraint-Satisfaction Problemen
    (Antragsteller Grohe, Martin )
  - Die Struktur parametrischer Komplexitätsklassen
    (Antragsteller Flum, Jörg ; Grohe, Martin )
  - Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
    (Antragsteller Thomas, Wolfgang )
  - Gibt es eine Logik für PTIME? (Forschungssemester)
    (Antragsteller Grohe, Martin )
  - Numerische Simulation von Strömung in natürlichen Fließgewässern
    (Antragsteller Köngeter, Jürgen )
  - Schaltkreiskomplexität, Parametrische Komplexität und logische Definierbarkeit
    (Antragsteller Grohe, Martin )
  - Techniken zum Messen von Ähnlichkeiten zwischen Graphen
    (Antragsteller Rattan, Ph.D., Gaurav )
  - Transducersynthese aus automatendefinierbaren Spezifikationen
    (Antragsteller Löding, Christof )
  - Zerlegungen, Tangles und Cluster
    (Antragsteller Grohe, Martin )
Reinhart Koselleck-Projekte
- abgeschlossene Projekte
  - Logik, Struktur und das Graphenisomorphieproblem
    (Antragsteller Grohe, Martin )
Deutsch-Israelische-Projektkooperationen
- laufende Projekte
  - Quantitative Analyse von Datenbankanfragen
    (Antragsteller Grohe, Martin ; Kimelfeld, Benny )
Graduiertenkollegs
- laufende Projekte
  - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik.
    (Sprecher Katoen, Joost-Pieter )
- abgeschlossene Projekte
  - GRK 357: Effiziente Algorithmen und Mehrskalenmethoden
    (Sprecher Srivastav, Anand )
  - GRK 1298: Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)
    (Sprecher Katoen, Joost-Pieter ; Thomas, Wolfgang )
  - GRK 1408: Methoden für diskrete Strukturen
    (Sprecher Skutella, Martin )
Exzellenzcluster
- abgeschlossene Projekte
  - EXC 89: Universaler mobiler Zugang zu Information und Kommunikation
    (Sprecher Ascheid, Gerd )

© 2024 DFG Kontakt / Impressum / Datenschutz