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

Detailseite

Institution

Druckansicht

Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Theoretische Informatik

Adresse Oettingenstraße 67
80538 München
Deutschland

GERiT Diese Institution in GERiT

80538 München

Projekte

Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - Komplexität aussagenlogischer Beweissysteme und monotoner Schaltkreise, sowie deren Zusammenhang mittels monotoner effektiver Interpolation
    (Antragsteller Johannsen, Jan )
Sachbeihilfen
- abgeschlossene Projekte
  - Beobachtungskorrektheit von Programmiersprachenübersetzungen
    (Antragsteller Sabel, David )
  - Durchsetzung und Analyse von Programmierrichtlinien für sichere Web-Programmierung mit Typsystemen
    (Antragsteller Schöpp, Ulrich )
  - Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen
    (Antragsteller Hofmann, Martin )
  - Spezifikation und Verifikation von Informationsflüssen (InfoZert B)
    (Antragsteller Hofmann, Martin ; Knapp, Alexander )
  - Verifikation polymorpher Nichtinterferenz für mobile Software - PolyNi
    (Antragsteller Hofmann, Martin )
  - Verifikation und Zertifikation von Informationsflüssen (InfoZert A)
    (Antragsteller Beringer, Ph.D., Lennart )
  - Zeiger als abstrakter Datentyp: komplexitätstheoretische und programmiersprachliche Aspekte
    (Antragsteller Hofmann, Martin )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 301: Logik in der Informatik
    (Sprecher Schwichtenberg, Helmut )
  - GRK 1480: PUMA Programm- und Modell-Analyse
    (Sprecher Seidl, Helmut )

© 2024 DFG Kontakt / Impressum / Datenschutz