Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität München
TUM School of Computation, Information and Technology
Lehrstuhl für Logik und Verifikation

Address Boltzmannstraße 3
85748 Garching
Deutschland

GERiT This institution in GERiT

85748 Garching

Projects

Research Grants
- Completed projects
  - Computergestützte Verifikation von Automatenkonstruktionen für Model Checking
    (Applicants Esparza, Javier ; Nebel, Bernhard ; Nipkow, Ph.D., Tobias )
  - Deduktive Modellierung von Java
    (Applicant Nipkow, Ph.D., Tobias )
  - Exakte Arithmetik für reelle Zahlen als Basis für einen maschinellen Beweis der Keplerschen Vermutung
    (Applicant Nipkow, Ph.D., Tobias )
  - Formale Definition und Analyse einer idealisierten objektorientierten Programmiersprache
    (Applicant Nipkow, Ph.D., Tobias )
  - Formalization and Analysis of Traffic Rules
    (Applicants Althoff, Matthias ; Hilgendorf, Eric ; Nipkow, Ph.D., Tobias )
  - Hardening the Hammer: More Integration of Automatic and Interactive Theorem Provers
    (Applicant Nipkow, Ph.D., Tobias )
  - Integration der Logik HOL mit den Programmiersprachen ML und Haskell
    (Applicant Nipkow, Ph.D., Tobias )
  - Semantische Modellierung, Analyse und Verifikation von sprachbasierter Software-Sicherheit
    (Applicants Nipkow, Ph.D., Tobias ; Snelting, Gregor )
  - Tutorium zum interaktiven Beweisen in Isabelle/HOL
    (Applicant Nipkow, Ph.D., Tobias )
  - Verification of Probabilistic Models in Interactive Theorem Provers
    (Applicant Nipkow, Ph.D., Tobias )
  - Verified Model Checkers
    (Applicants Kretinsky, Ph.D., Jan ; Lammich, Peter )
  - Verified Proof Carrying Code
    (Applicant Nipkow, Ph.D., Tobias )
  - Verifikation von Zeigerprogrammen
    (Applicant Nipkow, Ph.D., Tobias )
  - Verständliche halb-automatische Beweise
    (Applicant Nipkow, Ph.D., Tobias )
Priority Programmes
- Completed projects
  - Security Type Systems and Deduction
    (Applicant Nipkow, Ph.D., Tobias )
Reinhart Koselleck Projects
- Completed projects
  - Verifizierte Algorithmenanalyse
    (Applicant Nipkow, Ph.D., Tobias )
Research Training Groups
- Completed projects
  - GRK 301: Logic in Computer Science
    (Spokesperson Schwichtenberg, Helmut )
  - GRK 1480: Programme and Model Analysis
    (Spokesperson Seidl, Helmut )
NFDI technical and methodological consortia
- Current projects
  - National Research Data Infrastructure for and with Computer Science
    (Spokesperson Goedicke, Michael )

© 2024 DFG Disclaimer / Copyright / Privacy Policy