Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Florian Lanzinger

Florian Lanzinger, M.Sc. — Researcher / PhD Student
Am Fasanengarten 5
Building 50.34
Office 203
76131 Karlsruhe
Germany

📞 + 49 721 608-45252
lanzinger2114184035Xfd4∂kit.edu

Projects

Teaching

Publications

2021
Title Author(s) Source
Property Types in Java: Combining Type Systems and Deductive VerificationFlorian LanzingerKarlsruher Institut für Technologie (February 2021)
2018
Title Author(s) Source
A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program VerificationFlorian LanzingerKarlsruher Institut für Technologie (April 2018)

Supervised Theses

Title Type State
Abhängige Eigenschaftstypen in Java BA / MA open