Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Martin Hofmann (†)

Projects

As Applicant
- Completed projects
  - Spezifikation und Verifikation von Informationsflüssen (InfoZert B) (Research Grants)
  - Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen (Research Grants)
  - Verifikation polymorpher Nichtinterferenz für mobile Software - PolyNi (Research Grants)
  - Zeiger als abstrakter Datentyp: komplexitätstheoretische und programmiersprachliche Aspekte (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 301: Logic in Computer Science (Research Training Groups)
  - GRK 1480: Programme and Model Analysis (Research Training Groups)

© 2025 DFG Disclaimer / Copyright / Privacy Policy