Detailseite
Person
Professor Dr. Tobias Nipkow, Ph.D.
Adresse
Technische Universität München
Fakultät für Informatik
Lehrstuhl für Logik und Verifikation
Boltzmannstraße 3
85748 Garching
-
Als Antragsteller
-
abgeschlossene Projekte
-
Verständliche halb-automatische Beweise (Sachbeihilfen)
-
Deduktive Modellierung von Java (Sachbeihilfen)
-
Tutorium zum interaktiven Beweisen in Isabelle/HOL (Sachbeihilfen)
-
Verifikation von Zeigerprogrammen (Sachbeihilfen)
-
Verified Proof Carrying Code (Sachbeihilfen) -
Security Type Systems and Deduction (Schwerpunktprogramme)
-
Verifizierte Algorithmenanalyse (Reinhart Koselleck-Projekte)
-
Formalisierung und Analyse von Verkehrsregeln (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Als beteiligter Wissenschaftler
-
abgeschlossene Projekte
-
GRK 301: Logik in der Informatik (Graduiertenkollegs)
-
GRK 1480: PUMA Programm- und Modell-Analyse (Graduiertenkollegs)
-
-
abgeschlossene Projekte
-
Als Co-Sprecher
-
laufende Projekte
-
Nationale Forschungsdateninfrastruktur für und mit Computer Science (Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien)
-
-
laufende Projekte
-
Als Mitverantwortlich
-
abgeschlossene Projekte
-
Verifizierte Model Checker (Sachbeihilfen)
-
-
abgeschlossene Projekte
