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:

• Dependently-Typed Verified Functional Programming (in particular Agda)
• Generative software construction
• Software language design

Consultation hours

Please consult the page of the respective person here.