Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Theoretische Informatik
Address
Boltzmannstraße 3
85748 Garching
Deutschland
GERiT
This institution in GERiT
85748 Garching
Projects
Priority Programmes
Current projects
Statistical Foundations of Semi-supervised Learning with Graph Neural Networks
(Applicant
Ghoshdastidar, Ph.D., Debarghya
)
Completed projects
Conflict handling and strutural change: Using social theories to build adaptive multiagent systems
(Applicant
Brauer, Wilfried
)
Qualitative Repräsentation von Bewegungsverläufen: Kognitive und Psychophysische Grundlagen
(Applicant
Brauer, Wilfried
)
Research Grants
Current projects
Active and batch Segmentation, Clustering, and seriation: toward unified foundations in AI
(Applicants
Carpentier, Alexandra
;
Ghoshdastidar, Ph.D., Debarghya
)
Group-by Objectives in Probabilistic Verification
(Applicant
Esparza, Javier
)
Statistical, Computational and Algorithmic Aspects of Kernel Clustering
(Applicant
Ghoshdastidar, Ph.D., Debarghya
)
Completed projects
Algorithms for Software Model Checking
(Applicant
Esparza, Javier
)
A Scalable Saturation Approach to Higher-Order Verification
(Applicants
Broadbent, Christopher
;
Esparza, Javier
)
Computergestützte Verifikation von Automatenkonstruktionen für Model Checking
(Applicants
Esparza, Javier
;
Nebel, Bernhard
;
Nipkow, Ph.D., Tobias
)
Game-based Synthesis for Industrial Automation
(Applicants
Cheng, Chih-Hong
;
Luttenberger, Michael
)
Kommunikative Erzeugung, Darstellung und Anwendungen Offener Ontologien und Offener Wissensbasen
(Applicant
Brauer, Wilfried
)
Maschinelles Lernen von formaler Kommunikation
(Applicant
Brauer, Wilfried
)
Negotiations: A Model for Tractable Concurrency.
(Applicant
Esparza, Javier
)
Polynomielle Systeme über Semiringen: Grundlagen, Algorithmen, Anwendungen
(Applicant
Esparza, Javier
)
Verified Model Checkers
(Applicants
Kretinsky, Ph.D., Jan
;
Lammich, Peter
)
Collaborative Research Centres
Completed projects
Formale Methoden für die Modellierung und Analyse von mobilen kontextbezogenen Systemen
(Project Head
Esparza, Javier
)
Research Training Groups
Current projects
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems
(Spokesperson
Beyer, Dirk
)
Completed projects
GRK 267: Sensory Interaction in Biological and Technical Systems
(Spokesperson
Büttner, Ulrich
)
GRK 1480: Programme and Model Analysis
(Spokesperson
Seidl, Helmut
)
