teaching

In the winter term 2026/27, I offer the following courses.

  • Lecture: Artificial Intelligence
    Please register for the course (and the exercises!) in HeiCO. We will use MaMpf for the tutorials and to publish the lecture material.

    Outline: This course gives a broad, hands-on introduction to the foundations of AI, focusing on rational acting: how to build systems that make good decisions using whatever computational methods are suitable. We start from intelligent agents and classical search (route finding, puzzles, bug hunting), move on to adversarial search, and then cover constraint satisfaction problems as a general framework for scheduling and configuration tasks. The second half is devoted to knowledge and reasoning — propositional and first-order logic, answer-set programming, knowledge representation, and automated planning as a universal language for action-choice problems. We close with the basics of machine learning and a look at neuro-symbolic AI, which combines symbolic reasoning with data-driven methods.

  • Seminar: Explainable AI Planning
    The introductory session will be held on TBA, in seminar room TBA, INF 205. Please attend this session if you want to participate in the seminar. No prior registration is needed. The course will be organized as a block seminar at the end of the semester. Further information will be made available here, the password is shared in the introductory session.

  • Practical: AI Planning
    We offer beginners, advanced and Master practicals. The introductory session will be held on TBA, in seminar room TBA, INF 205. Please attend this session if you want to participate in the practical. No prior registration is needed. Further information will be made available here, the password is shared in the introductory session.





Previous semesters:

Summer term 2026:

  • Lecture: Automated Planning
    The first lecture takes place on April 15, 11:15, in building INF 205, seminar room SR 2. Please register for the course (and the exercises!) in HeiCO. We will use MaMpf for the lecture material.

    Outline: This course introduces automated planning as a framework for solving sequential decision-making problems in areas such as robotics and optimization. Students learn to model planning problems using standard formalisms, implement search algorithms and heuristics, and apply them to find solutions. The course covers heuristic search techniques, structural analysis, and symbolic approaches such as SAT-based planning. It also explores the complexity of planning problems and methods for improving search efficiency.

  • Lecture: Model Checking
    The first lecture takes place on April 17, 11:15, in building INF 205, seminar room SR C. Please register for the course (and the exercises!) in HeiCO. We will use MaMpf for the lecture material.

    Outline: Model checking is a method for verifying software systems using abstract models. Students learn to model concurrent systems with automata, specify safety and liveness properties, and apply model checking algorithms to verify them. The course covers transition systems, concurrency and communication, as well as the complexity and expressiveness of verification formalisms. It also includes state-space reduction techniques and symbolic model checking.

Winter term 2025/26:

  • Lecture: Artificial Intelligence
    Please register for the course (and the exercises!) in HeiCO. We will use MÜSLI for the tutorials and MaMpf to publish the lecture material. The first lecture takes place on October 13, 16:15, in building INF 231, Großer Hörsaal (gHS).

  • Seminar: Neuro-symbolic Artificial Intelligence
    The introductory session will be held on Wednesday, October 15, 13:00-13:30, in seminar room SR C, INF 205. Info and papers are available here, the password will be shared in the intro meeting. The course will be organized as a block seminar at the end of the semester.

  • Practical: AI Planning
    The introductory session will be held on Wednesday, October 15, 13:30-14:00, in seminar room SR C, INF 205. Info about the organization and projects are available here, the password will be shared in the intro meeting.