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
)
