Overview of the topics covered
The content on this page was translated automatically.
| Topics | Last Taught |
|---|---|
| Algorithms and Data Structures | Summer Semester 2025 |
| Automata, Games, and Logic | Summer Semester 2025 |
| Computability and Formal Languages | Summer Semester 2018 |
| Computability and Complexity | Winter Semester 2026/27 |
| Databases | Summer Semester 2016 |
| Database Theory | Winter Semester 2025/26 |
| Efficient Problem-Solving Methods for AI | Summer Semester 2024 |
| Introduction to Formal Verification | Winter Semester 2026/27 |
| Formal Languages and Logic | Summer Semester 2024 |
| Functional Programming (Priv.-Doz. Dr. Jörg Kreiker) | Winter Semester 2011/12 |
| Fundamentals of Program Safety | Summer Semester 2016 |
| Compiler Design Lab | Summer Semester 2024 |
| Heuristic Search Lab | Winter Semester 2025/26 |
| Logic Programming Lab | Winter Semester 2024/25 |
| SAT Solver Lab | Winter Semester 2026/27 |
| Theorem Proving Lab | Winter Semester 2023/24 |
| Python Programming Course | Summer Semester 2023 |
| SAT Solver Practicum | Summer Semester 2020 |
| Software Verification | Summer Semester 2025 |
| Theoretical Computer Science III | Summer Semester 2019 |
| Theoretical Computer Science: Logic | Winter Semester 2018/19 |
| Verification of Embedded Systems | Winter Semester 2026/27 |
| Preparatory Course in Theoretical Computer Science and Discrete Mathematics | Winter Semester 2018/19 |