Chair for Theoretical Computer Science and Foundations of Artificial Intelligence
 
Student Projects | PROJECTS | HOME | CONTACT | PEOPLE | RESEARCH | COURSES | WEBMASTER

 

Theoretical Computer Science and
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 logo_in_tum_de    tum Technische Universität München
 
News
2006-05-11 13:26:54
New SEP available
more...
2009-07-14 16:56:28
New Thesis Topic available
more...
2012-02-06 14:26:28
New: Research Seminar
more...
more news...
to top >>
old homepage >>
Student Projects | PROJECTS | HOME | CONTACT | PEOPLE | RESEARCH | COURSES | WEBMASTER