Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
English
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Ludwig-Maximilians-Universität München
Lehr- und Forschungseinheit Theoretische Informatik
Address
Oettingenstraße 67
80538 München
Deutschland
GERiT
This institution in GERiT
80538 München
Projects
Independent Junior Research Groups
Completed projects
complexity of prospositional proof systems and monotone circuits
(Applicant
Johannsen, Jan
)
Research Grants
Completed projects
Enforcing and analysing programming guidelines for secure web programming with type systems
(Applicant
Schöpp, Ulrich
)
Observational Correctness of Programming Languages Translations
(Applicant
Sabel, David
)
Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen
(Applicant
Hofmann, Martin
)
Spezifikation und Verifikation von Informationsflüssen (InfoZert B)
(Applicants
Hofmann, Martin
;
Knapp, Alexander
)
Verifikation polymorpher Nichtinterferenz für mobile Software - PolyNi
(Applicant
Hofmann, Martin
)
Verifikation und Zertifikation von Informationsflüssen (InfoZert A)
(Applicant
Beringer, Ph.D., Lennart
)
Zeiger als abstrakter Datentyp: komplexitätstheoretische und programmiersprachliche Aspekte
(Applicant
Hofmann, Martin
)
Research Training Groups
Completed projects
GRK 301: Logic in Computer Science
(Spokesperson
Schwichtenberg, Helmut
)
GRK 1480: Programme and Model Analysis
(Spokesperson
Seidl, Helmut
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
