Florian Lanzinger

Florian Lanzinger, M.Sc. — Wissenschaftlicher Mitarbeiter / Doktorand
Am Fasanengarten 5
Building 50.34
Office 203
76131 Karlsruhe
Germany

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

Projekte

Publikationen

2021
Titel Autor(en) Quelle
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)
Towards a Formal Approach for Data Minimization in ProgramsFlorian Lanzinger
Alexander Weigl
Data Privacy Management, Cryptocurrencies and Blockchain Technology
Property Types in Java: Combining Type Systems and Deductive VerificationFlorian LanzingerKarlsruher Institut für Technologie (Februar 2021)
2018
Titel Autor(en) Quelle
A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program VerificationFlorian LanzingerKarlsruher Institut für Technologie (April 2018)

Betreute Abschlussarbeiten

Titel Typ Status Student Jahr
Ermittlung von Zuverlässigkeitsmaßen durch unvollständige Verifikation PdF offen
Abhängige Eigenschaftstypen in Java BA laufend Liudmila Fomenko
Mutability for Property Types in Java MA laufend Joshua Bachmeier
Methode zur Datenminimierung mittels syntaktischer Programmpartitionierung BA abgeschlossen Simon Gerst 2021

Lehre