Teaching

[ Winter 2024 | Summer 2024 | Before 2024 ]

Projects and Thesis

Requests regarding thesis papers or projects are always welcome! If you are interested in supervision, you can write an email to Prof. Dr. Thiemann.

Oberseminar

We meet weekly to discuss our current problems on formalizing proofs in Agda. If you wish to attend, write an email to Prof. Dr. Thiemann.

Frequency: Every semester

Lectures

Einführung in die Programmierung

Verpflichtende Erstsemestervorlesung zur Programmierung mit Python.

Angebotsfrequenz: Jedes Wintersemester

Function Programming

Specialization course about Haskell and function paradigms.

Frequency: Roughly every 1 1/2 years

Essentials of Programming Languages

Specialization course about mechanized theorem proving in Agda and programming language theory.

Frequency: Roughly every 1 1/2 years

Compiler Construction

Specialization course about writing a RISC-V compiler in Python.

Frequency: Roughly every 1 1/2 years

Concurrency

Specialization course about concurrent programming in Go and its underlying theory.

Frequency: Roughly every 1 1/2 years