1. Home
  2. Teaching
    ❱
    1. Projects & Theses
      ❱
      1. Available
      2. Finished
    2. Winter 2026
      ❱
      1. Einführung in die Programmierung
      2. Functional Programming in Lean (WORKING TITLE)
      3. Proseminar (tba.)
    3. Summer 2026
      ❱
      1. Theoretische Informatik
      2. Essentials of Programming Languages
      3. Topics in Compilers & Concurrency – Seminar
    4. Winter 2025
      ❱
      1. Einführung in die Programmierung
      2. Concurrency Theory
      3. Automatentheorie – Proseminar
    5. Summer 2025
      ❱
      1. Compiler Construction
      2. Essentials of Programming Languages
      3. Principles of Programming Languages (Seminar)
    6. Winter 2024
      ❱
      1. Einführung in die Programmierung
      2. Functional Programming
    7. Summer 2024
      ❱
      1. Compiler Construction
      2. Concurrency
      3. Real World OCaml (Seminar)
  3. Team
    ❱
    1. Prof. Dr. Peter Thiemann
    2. Marlis Jost
    3. Marius Weidner
    4. Janek Spaderna
  4. About
  6. Unlisted
  7. lecture-2024-05-03
  8. lecture-2024-05-07
  9. Conditionals
  10. lecture-2024-05-28
  11. traces
  12. abgabesystem
  13. Hall Of Fame: Text-Adventure
  14. Q&A zur EidP-Klausur am 05.02.2024
  15. Übungen
  16. Setup Guide für Einführung in die Programmierung
  17. 20250422-notes
  18. Abgabesystem für Einführung in die Programmierung
  19. Übungen
  20. Setup Guide für Einführung in die Programmierung
  21. Negation
  22. Abgabesystem für Theoretische Informatik
  23. Leonardo Mieschendahl
  24. Hannes Saffrich
  25. Bas van den Heuvel