Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
English
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Technische Universität München
Fakultät für Informatik
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
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung