Jonas Bodingbauer
Projektass. Dipl.-Ing. Dipl.-Ing. / BSc BSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
-
Vampires can Lean into trust: checking proofs for soundness
/
Bodingbauer, J. (2026). Vampires can Lean into trust: checking proofs for soundness [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2026.139594
Download: PDF (58.7 MB)