Institut für Programmiermethodik und Compilerbau

• 1: Lehre.
• 2: Forschung.
  • 2.1: Themen.
  • 2.2: Arbeiten.
  • 2.3: Projekte.
    • 2.3.1: ActiveCharts.
    • 2.3.2: GLOB-CON.
    • 2.3.3: Leistungspunktesysteme.
    • 2.3.4: ModKey.
    • 2.3.5: NOVA.
    • 2.3.6: ROARS.
    • 2.3.7: RUBIKON.
    • 2.3.8: Ultra.
  • 2.4: Publikationen.
  • 2.5: Publikationen externer Doktoranden.
  • 2.6: Veranstaltungen.
• 3: Mitarbeiter.
• 4: Kontakt.