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

Projekte

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)
  - Formale Definition und Analyse einer idealisierten objektorientierten Programmiersprache (Sachbeihilfen)
  - Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung (Sachbeihilfen)
  - Verified Proof Carrying Code (Sachbeihilfen)
  - Integration der Logik HOL mit den Programmiersprachen ML und Haskell (Sachbeihilfen)
  - Semantische Modellierung, Analyse und Verifikation von sprachbasierter Software-Sicherheit (Sachbeihilfen)
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking (Sachbeihilfen)
  - Den Hammer härten: Mehr Integration von automatischen und interaktiven Theorembeweisern (Sachbeihilfen)
  - Verifikation probabilistischer Modelle in interaktiven Theorembeweisern (Sachbeihilfen)
  - Security Type Systems and Deduction (Schwerpunktprogramme)
  - Verifizierte Algorithmenanalyse (Reinhart Koselleck-Projekte)
  - Formalisierung und Analyse von Verkehrsregeln (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 301: Logik in der Informatik (Graduiertenkollegs)
  - GRK 1480: PUMA Programm- und Modell-Analyse (Graduiertenkollegs)
Als Co-Sprecher
- laufende Projekte
  - Nationale Forschungsdateninfrastruktur für und mit Computer Science (Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien)
Als Mitverantwortlich
- abgeschlossene Projekte
  - Verifizierte Model Checker (Sachbeihilfen)