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

Detailseite

Person

Druckansicht

Lennart Beringer, Ph.D.

Adresse Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Theoretische Informatik
Oettingenstraße 67
80538 München

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Verifikation und Zertifikation von Informationsflüssen (InfoZert A) (Sachbeihilfen)
Als Ehemaliger Antragsteller
- abgeschlossene Projekte
  - Verifikation polymorpher Nichtinterferenz für mobile Software - PolyNi (Sachbeihilfen) bis 9/2010

© 2024 DFG Kontakt / Impressum / Datenschutz