Teaching

Teaching

Winter Term 2026/27

Duality in Programming Languages (Seminar)

Effective Programming with Effects (Praktikum)

Implementation of Operating Systems (Praktikum)

Interactive Theorem Proving

Parallel, Concurrent, and Distributed Programming

Programming in Rust (Praktikum)

Selected Topics in PL Semantics (Seminar)

Software Quality

Summer Term 2026

Compiler Construction

Memory Management (Proseminar)

Praktische Informatik 2

Programmiersprachen 1

Programming Language Features (Seminar)

Softwarequalität in Theorie und Industrieller Praxis

Previous Semesters

Winter Term 2025/26

Summer Term 2025

Winter Term 2024/25

Summer Term 2024

Winter Term 2023/24

Summer Term 2023

Winter Term 2022/23

Summer Term 2022

Show older semesters Hide older semesters

Winter Term 2021/22

Summer Term 2021

Winter Term 2020/21

Summer Term 2020

Winter Term 2019/20

Summer Term 2019

Winter Term 2018/19

Summer Term 2018

Winter Term 2017/18

Summer Term 2017

Winter Term 2016/17

Summer Term 2016

Winter Term 2015/16

Summer Term 2015

Winter Term 2014/15