AG Programmiersprachen
Prof. Dr. Ralf Hinze

Subject of software technology are models, techniques, languages, and tools for developing software systems. The Programming Language Group focuses on the following topics:

• Functional, distributed, and object-oriented programming
• Generative software construction
• Software language design

Teaching

• Winter term 2024/25
  • Lecture “Grundlagen der Programmierung”
  • Lecture “Verified Functional Programming”
  • Seminar “Software Engineering”
• Summer term 2024
  • Bachelor/Master Project “Software Engineering”
• Winter term 2023/24
  • Lecture “Grundlagen der Programmierung”
  • Lecture “Verified Functional Programming”
  • Seminar “Software Engineering”
• Summer term 2023
  • Programmierpraktikum
  • Lecture “Functional Programming”
• Winter term 2022/23
  • Lecture “Grundlagen der Programmierung”
  • Lecture “Verified Functional Programming”
• Summer term 2022
  • Programmierpraktikum
  • Lecture “Formal Languages and Computability”
  • Lecture “Functional Programming”
  • Lecture “Programming Distributed Systems”
  • Project “Software Engineering”
• Winter term 2021/22
  • Lecture “Grundlagen der Programmierung”
  • Lecture “Replication and Consistency”
  • Project “Software Engineering”
• Summer term 2021
  • Programmierpraktikum
  • Lecture “Functional Programming”
  • Lecture “Programming Distributed Systems”
  • Seminar “Software Engineering”
• Winter term 2020/21
  • Lecture “Grundlagen der Programmierung”
  • Lecture “Compiler and Language Processing Tools”
  • Seminar “Software Engineering”
• Summer term 2020:
  • Programmierpraktikum
  • Lecture “Programming Distributed Systems”
  • Bachelor Project “Software Engineering”
• Winter term 2019/20
  • Lecture “Grundlagen der Programmierung”
  • Lecture “Replication and Consistency”
  • Project “Software Engineering”
• Summer term 2019:
  • Programmierpraktikum
  • Lecture “Functional Programming”
  • Lecture “Programming Distributed Systems”
  • Bachelor- and Master-Seminar Software Engineering
  • Vorlesung “Programmieren in Anwendungen”
  • Programmierprojekt für Hörer anderer Fachrichtungen
• Winter term 2018/19:
  • Lecture “Grundlagen der Programmierung”
• Summer term 2018:
  • Lecture “Funktionale Programmierung”
  • Lecture “Programming Distributed Systems”
  • Lecture “Programmieren in Anwendungen”
  • Course “Training für Programmierwettbewerb”
  • Master Seminar “Software-Engineering”
  • Programmierprojekt

Consultation hours

Please consult the page of the respective person here.