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.