WG Programming Languages
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:

  • Dependently-Typed Verified Functional Programming (in particular in Agda)
  • Programming language design

Consultation hours

Please consult the page of the respective person here.