Florian Lanzinger
Florian Lanzinger, M.Sc. — Researcher / PhD Student | |
Am Fasanengarten 5 Building 50.34 Office 203 76131 Karlsruhe Germany |
📞 + 49 721 608-45252 |
Projects
Publications
Title | Author(s) | Source |
---|---|---|
Towards a Formal Approach for Data Minimization in Programs | Florian Lanzinger Alexander Weigl | Data Privacy Management, Cryptocurrencies and Blockchain Technology |
Title | Author(s) | Source |
---|---|---|
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification | Florian 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 Verification | Florian Lanzinger | Karlsruher Institut für Technologie (February 2021) |
Title | Author(s) | Source |
---|---|---|
A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program Verification | Florian Lanzinger | Karlsruher Institut für Technologie (April 2018) |
Supervised Theses
Title | Type | State | Student | Year |
---|---|---|---|---|
Ermittlung von Zuverlässigkeitsmaßen durch unvollständige Verifikation | open | — | — | |
Semantische Datenminimierung | 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
Course | Type | Semester |
---|---|---|
Anwendung Formaler Methoden | Seminar | Winter Term 2021/2022 |
Anwendung Formaler Methoden | Seminar | Summer Term 2021 |