TUM - Chair VII - Theoretical Computer Science and Foundations of Artificial Intelligence

Foundations of Artificial Intelligence

Formal Methods for Embedded Systems
Model checking embedded software; Execution time analysis; Model based testing; Runtime verification

Model Checking and Constraint Solving
Malicious code detection; Automated abstraction; Parameterized verification; SAT and constraint solving

Automata, Logic, and Complexity
Mathematical methods for discrete systems; Classification and algorithms for hard problems; Temporal logic and foundations of verification;

Intelligent Agents and Multiagent Systems
Agent Communication and Social AI; Computational Autonomy, Trust and Expectation; Multiagent Learning; Agent-Oriented Software Engineering

Knowledge Modeling and Ontologies
Open Knowledge Bases and Open Ontologies; Social Knowledge; Knowledge Evolution and Dissemination

Spatial Cognition and Neural Networks
Motion Perception and Prediction; Hierarchically Structured Recurrent Neural Networks

Institut für Informatik

Technische Universität München