Teaching

Projects and Thesis

Requests regarding theses or projects are always welcome! If you are interested in supervision, you can look for available topics here.

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

Verpflichtende Erstsemestervorlesung zur Programmierung mit Python.

Angebotsfrequenz: Jedes Wintersemester

Verpflichtende Bachelorverlesung zu Grundlagen der Theoretischen Informatik.

Angebotsfrequenz: Jedes Sommersemester

Specialization course about functional programming using Haskell.

Frequency: Roughly every 1 1/2 years

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

Frequency: Roughly every 1 1/2 years

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

Frequency: Roughly every 1 1/2 years

Specialization course about concurrent systems and their underlying theory.

Frequency: Roughly every 1 1/2 years