Project Details
Person
Professor Tobias Nipkow, Ph.D.
Address
Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Logik und Verifikation
Boltzmannstraße 3
85748 Garching
-
As Applicant
-
Completed projects
-
Verständliche halb-automatische Beweise (Research Grants)
-
Deduktive Modellierung von Java (Research Grants)
-
Tutorium zum interaktiven Beweisen in Isabelle/HOL (Research Grants)
-
Verifikation von Zeigerprogrammen (Research Grants)
-
Verified Proof Carrying Code (Research Grants) -
Integration der Logik HOL mit den Programmiersprachen ML und Haskell (Research Grants)
-
Verification of Probabilistic Models in Interactive Theorem Provers (Research Grants)
-
Security Type Systems and Deduction (Priority Programmes)
-
Verifizierte Algorithmenanalyse (Reinhart Koselleck Projects)
-
Formalization and Analysis of Traffic Rules (Research Grants)
-
-
Completed projects
-
As Participating Researcher
-
Completed projects
-
GRK 301: Logic in Computer Science (Research Training Groups)
-
GRK 1480: Programme and Model Analysis (Research Training Groups)
-
-
Completed projects
-
As Co-Spokesperson
-
Current projects
-
National Research Data Infrastructure for and with Computer Science (NFDI technical and methodological consortia)
-
-
Current projects
-
As Co-Investigator
-
Completed projects
-
Verified Model Checkers (Research Grants)
-
-
Completed projects
