Detailseite
Person
Professor Tobias Nipkow, Ph.D.
Adresse
Technische Universität München
TUM School of Computation, Information and Technology
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
