TUM - Chair VII - Foundations of Software Reliability and Theoretical Computer Science

Welcome to the Chair for Foundations of Software Reliability and Theoretical Computer Science. The interests of the group span

all aspects of software reliability, with special emphasis on model-checking and program analysis techniques;
foundations of software analysis techniques, in particular automata theory, logic, and complexity;
distributed artificial intelligence, in particular multiagent systems and agent communication.

Current research topics include:

Formal Methods for High-Level Software	Verification of Probabilistic Systems
Model-checking Java programs; Testing with model-checking techniques; Verification of infinite-state systems; Security infrastructures	Probabilistic model-checking; Analysis of infinite-state Markov chains; Applications to reputation systems
Foundations of Program Analysis	Formal Methods for Embedded Systems
Generic program analyzers; Theory and applications of polynomial equations on semirings; Fixed point algorithms and their convergence speed	Model checking embedded software; Execution time analysis; Model based testing; Runtime verification
Model Checking and Constraint Solving	Automata, Logic, and Complexity
Malicious code detection; Automated abstraction; Parameterized verification; SAT and constraint solving	Mathematical methods for discrete systems; Classification and algorithms for hard problems; Temporal logic and foundations of verification
Intelligent Agents and Multiagent Systems	Knowledge in Distributed Environments
Agent communication and Social AI; Machine learning in distributed environments; Agent-oriented software engineering; Computational trust	Distributed knowledge representation; Open knowledge bases and open ontologies; The Semantic Web