### Overview of the Modules and Courses

The up-to-date list of modules and courses can be found on TISS.

##### Algorithms and complexity

This area covers basic and advanced topics in algorithms and data structures, algorithm analysis and complexity. It has an emphasis on (but is not limited to) algorithms on graphs, machine learning, problem solving and optimization methods with exact as well as heuristic and approximative algorithms, geometric algorithms, and distributed algorithms. Courses currently offered in this area:

Name | Module | ECTS | Web |
---|---|---|---|

Algorithmics | Base | 6 | TISS |

Advanced Algorithms | Advanced | 3 | TISS |

Algorithmic Game Theory | Advanced | 3 | TISS |

Algorithms in Graph Theory | Advanced | 3 | TISS |

Algorithmic Geometry | Advanced | 3+1.5 | TISS |

Analysis of Algorithms | Advanced | 5+4 | TISS |

Approximation Algorithms | Advanced | 3 | TISS |

Complexity Theory | Advanced | 3 | TISS |

Discrete Reasoning Methods | Advanced | 3 | TISS |

Distributed Algorithms | Advanced | 6 | TISS |

Efficient Algorithms | Advanced | 3 | TISS |

Heuristic Optimization Techniques | Advanced | 3 | TISS |

Mathematical Programming | Advanced | 3 | TISS |

Modeling and Solving Constrained Optimization Problems | Advanced | 3 | TISS |

Networks: Design and Analysis | Advanced | 3 | TISS |

Parallel Algorithms | Advanced | 3 | TISS |

Problems in Distributed Computing | Advanced | 4.5 | TISS |

Optimization in Transport and Logistics | Advanced | 3 | TISS |

Real-Time Scheduling | Advanced | 3 | TISS |

Seminar in Algorithms | Advanced | 3 | TISS |

Seminar in Complexity Theory | Advanced | 3 | TISS |

##### Knowledge representation and artificial intelligence

This area covers central aspects of knowledge-based systems like different logics as well as rule-based forms for knowledge representation, the corresponding inference principles for knowledge processing, answer-set programming, truth-maintenance systems, more advanced techniques for processing uncertain or incomplete knowledge, and learning. It has an emphasis on (but is not limited to) the symbol-processing approach to artificial intelligence, and in particular to logic-related approaches for representing and processing knowledge. The base module aims at a consolidation as well as an extension of skills and knowledge in formal logic in the context of knowledge-based systems acquired at the bachelor level. The advanced module includes foundations, regarding both semantics and computation, representation formalisms and reasoning methods, tools, and application areas. Courses currently offered in this area:

Name | Module | ECTS | web |
---|---|---|---|

Knowledge-Based Systems | Base | 6 | TISS |

Abstract Argumentation | Advanced | 4.5 | TISS |

Advanced Logic Programming | Advanced | 3 | TISS |

Classification and Discriminant Analysis | Advanced | 4.5 | TISS |

Complexity Analysis | Advanced | 3 | TISS |

Database Theory | Advanced | 3 | TISS |

Deductive Databases | Advanced | 3 | TISS |

Foundations of Information Integration | Advanced | 3 | TISS |

Information Design | Advanced | 4.5 | TISS |

Knowledge Management | Advanced | 3+3 | TISS |

Machine Learning | Advanced | 4.5 | TISS |

Media and Brain 1 | Advanced | 3 | TISS |

Media and Brain 2 | Advanced | 3 | TISS |

Nonmonotonic Reasoning | Advanced | 3 | TISS |

Planning in Artificial Intelligence | Advanced | 3 | TISS |

Problem Solving and Search in Artificial Intelligence | Advanced | 3 | TISS |

Processing of Declarative Knowledge | Advanced | 3 | TISS |

SAT Solving and Extensions | Advanced | 3 | TISS |

Self-Organizing Systems | Advanced | 3 | TISS |

Semantic Web Technologies | Advanced | 3 | TISS |

Seminar in Artificial Intelligence | Advanced | 3 | TISS |

Seminar in Databases | Advanced | 3 | TISS |

Seminar in Knowledge Representation and Reasoning | Advanced | 3 | TISS |

Similarity Modeling 1 | Advanced | 3 | TISS |

Similarity Modeling 2 | Advanced | 3 | TISS |

Theory of Knowledge Representation | Advanced | 3 | TISS |

##### Logic, mathematics and theoretical computer science

This area covers basic and advanced topics in discrete mathematical methods, theoretical computer science, logic and its applications to computer science, and mathematical methods. It aims at a consolidation as well as an extension of skills and knowledge in formal logic and the theory of computability acquired at the bachelor level. It comprises further training in the use of logical formalisms as specification tools, of various logical systems for proof search, elements of modal logics and of intuitionistic logic, and a deeper understanding of the concept of computability, including its connections to logic, program verification, and to complexity theory. Courses currently offered in this area:

Name | Module | ECTS | TISS |
---|---|---|---|

Discrete Mathematics | Base | 9 | TISS |

Logic and Computability | Base | 6 | TISS |

Advanced Mathematical Logic | Advanced | 3 | TISS |

Advanced Topics in Formal Language Theory | Advanced | 3 | |

Automated Deduction | Advanced | 6 | TISS |

Complex Analysis | Advanced | 5+2 | TISS |

Computability Theory | Advanced | 3 | TISS |

Computational Equational Logic | Advanced | 3 | TISS |

Cryptography | Advanced | 3 | TISS |

Formal Language Theory | Advanced | 3 | TISS |

Functional Analysis 1 | Advanced | 5+2 | TISS |

Fuzzy Logic | Advanced | 3 | TISS |

Higher-order Logic | Advanced | 3 | TISS |

History of Logic | Advanced | 3 | TISS |

Lambda Calculus | Advanced | 3 | TISS |

Membrane Computing | Advanced | 3 | TISS |

Non-classical Logics | Advanced | 3 | TISS |

Quantum Computing | Advanced | 3 | TISS |

Proof Systems in Modal Logic | Advanced | 3 | TISS |

Proof Theory 1 | Advanced | 3 | TISS |

Proof Theory 2 | Advanced | 3 | TISS |

Seminar in Logic | Advanced | 3 | TISS |

Seminar in Theoretical Computer Science | Advanced | 3 | TISS |

Temporal Logic | Advanced | 3 | |

Term Rewriting | Advanced | 3 | TISS |

Unification Theory | Advanced | 3 | TISS |

##### Programming languages and verification

This area covers central aspects of computability, decision procedures, program semantics, and automated verification. If you decide to focus on this module, there are advanced courses in the area of programming languages and verification, covering different topics like requirements engineering, software testing, high performance computing, and dynamic compilation available. Courses currently offered in this area:

Name | Module | ECTS | TISS |
---|---|---|---|

Formal Methods in Computer Science | Base | 6 | TISS |

Advanced Functional Programming | Advanced | 3 | TISS |

Advanced Model Engineering | Advanced | 3+3 | TISS |

Advanced Multiprocessor Programming | Advanced | 4 | TISS |

Advanced Object-oriented Programming | Advanced | 3 | TISS |

Analysis and Verification | Advanced | 3 | TISS |

Automated Reasoning and Program Verification | Advanced | 3 | TISS |

Code Generators | Advanced | 3 | TISS |

Compilers for Parallel Systems | Advanced | 3 | TISS |

Computer-Aided Verification | Advanced | 3+3 | TISS |

Dynamic Compilation | Advanced | 3 | TISS |

Efficient Programs | Advanced | 3 | TISS |

Formal Methods for Concurrent and Distributed Systems | Advanced | 3 | TISS |

Formal Verification of Software | Advanced | 6 | TISS |

High Performance Computing | Advanced | 3 | TISS |

Model Engineering | Advanced | 6 | TISS |

Optimizing Compilers | Advanced | 3 | TISS |

Parallel Architectures and Programming Models | Advanced | 3 | |

Program Analysis | Advanced | 3 | TISS |

Programming Languages | Advanced | 3 | TISS |

Requirements Engineering and Specification | Advanced | 3 | TISS |

Rigorous Systems Engineering | Advanced | 3 | TISS |

Seminar in Formal Methods | Advanced | 3 | TISS |

Software Model Checking | Advanced | 6 | TISS |

Software Testing | Advanced | 3 | TISS |

Stack-Based Languages | Advanced | 3 | TISS |

Semantics of Programming Languages | Advanced | 3 | TISS |

Seminar in Programming Languages | Advanced | 3 | TISS |

Type Systems | Advanced | 3 | TISS |