Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Martin Hofmann (†)

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Spezifikation und Verifikation von Informationsflüssen (InfoZert B) (Sachbeihilfen)
  - Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen (Sachbeihilfen)
  - Verifikation polymorpher Nichtinterferenz für mobile Software - PolyNi (Sachbeihilfen)
  - Zeiger als abstrakter Datentyp: komplexitätstheoretische und programmiersprachliche Aspekte (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 301: Logik in der Informatik (Graduiertenkollegs)
  - GRK 1480: PUMA Programm- und Modell-Analyse (Graduiertenkollegs)

© 2025 DFG Kontakt / Impressum / Datenschutz