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

Detailseite

Institution

Druckansicht

Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Theoretische Informatik

Adresse Boltzmannstraße 3
85748 Garching
Deutschland

GERiT Diese Institution in GERiT

85748 Garching

Projekte

Schwerpunktprogramme
- laufende Projekte
  - Statistische Grundlagen des halb-überwachten Lernens mit Graph-Neural-Networks
    (Antragsteller Ghoshdastidar, Ph.D., Debarghya )
- abgeschlossene Projekte
  - Communication-Oriented Modeling (COM): Modellierung und Simulation gesellschaftlicher Kommunikationsprozesse
    (Antragsteller Brauer, Wilfried )
  - Qualitative Repräsentation von Bewegungsverläufen: Kognitive und Psychophysische Grundlagen
    (Antragsteller Brauer, Wilfried )
Sachbeihilfen
- laufende Projekte
  - Aktive und Batch-Segmentierung, Clustering und Seriation: Grundlagen der KI
    (Antragstellerinnen / Antragsteller Carpentier, Alexandra ; Ghoshdastidar, Ph.D., Debarghya )
  - Statistische, rechnerische und algorithmische Aspekte des Kernel-Clustering
    (Antragsteller Ghoshdastidar, Ph.D., Debarghya )
- abgeschlossene Projekte
  - Algorithms for Software Model Checking
    (Antragsteller Esparza, Javier )
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking
    (Antragsteller Esparza, Javier ; Nebel, Bernhard ; Nipkow, Ph.D., Tobias )
  - Group-by-Ziele bei der probabilistichen Verifikation
    (Antragsteller Esparza, Javier )
  - Kommunikative Erzeugung, Darstellung und Anwendungen Offener Ontologien und Offener Wissensbasen
    (Antragsteller Brauer, Wilfried )
  - Maschinelles Lernen von formaler Kommunikation
    (Antragsteller Brauer, Wilfried )
  - Negotiations: Ein Modell für nebenläufige Systeme mit niedriger Komplexität
    (Antragsteller Esparza, Javier )
  - Polynomielle Systeme über Semiringen: Grundlagen, Algorithmen, Anwendungen
    (Antragsteller Esparza, Javier )
  - Skalierbare saturation-basierte Verfahren für die Verifikation von Programmen höherer Ordnung
    (Antragsteller Broadbent, Christopher ; Esparza, Javier )
  - Spiel-basierte Synthese für die industrielle Automatisierung
    (Antragsteller Cheng, Chih-Hong ; Luttenberger, Michael )
  - Verifizierte Model Checker
    (Antragsteller Kretinsky, Ph.D., Jan ; Lammich, Peter )
Reinhart Koselleck-Projekte
- laufende Projekte
  - Verifikation und Synthese dynamischer Netzwerkalgorithmen
    (Antragsteller Esparza, Javier )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Formale Methoden für die Modellierung und Analyse von mobilen kontextbezogenen Systemen
    (Teilprojektleiter Esparza, Javier )
Graduiertenkollegs
- laufende Projekte
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
    (Sprecher Beyer, Dirk )
- abgeschlossene Projekte
  - GRK 267: Sensorische Interaktionen in biologischen und technischen Systemen
    (Sprecher Büttner, Ulrich )
  - GRK 1480: PUMA Programm- und Modell-Analyse
    (Sprecher Seidl, Helmut )

© 2025 DFG Kontakt / Impressum / Datenschutz