Florian Lanzinger

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

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

Projects

Publications

2022
Title Author(s) Source
Towards a Formal Approach for Data Minimization in ProgramsFlorian Lanzinger
Alexander Weigl
Data Privacy Management, Cryptocurrencies and Blockchain Technology
2021
Title Author(s) Source
Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationFlorian Lanzinger
Alexander Weigl
Mattias Ulbrich
Werner Dietl
Proceedings of the ACM on programming languages 5(OOPSLA)
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 Student Year
Ermittlung von Zuverlässigkeitsmaßen durch unvollständige Verifikation PdF open
Semantische Datenminimierung PdF open
Mutability for Property Types in Java MA in progress Joshua Bachmeier
Abhängige Eigenschaftstypen in Java BA finished Liudmila Fomenko 2022
Methode zur Datenminimierung mittels syntaktischer Programmpartitionierung BA finished Simon Gerst 2021

Teaching