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

Detailseite

Person

Druckansicht

Dr. Jan Johannsen

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

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Komplexität aussagenlogischer Beweissysteme und monotoner Schaltkreise, sowie deren Zusammenhang mittels monotoner effektiver Interpolation (Emmy Noether-Nachwuchsgruppen)
Als Beteiligte Person
- abgeschlossene Projekte
  - Programmiersprachliche Aspekte sublinearer Platzkomplexitätsklassen (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz