Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract)
We demonstrate preliminary results on strong connections between Information Flow and Algorithmic Fairness Analysis
1. May 2023
Geometric Path Enumeration for Equivalence Verification of Neural Networks
We present and evaluate an approach for proving equivalence properties on neural networks and show that the verification of $\epsilon$-equivalence is coNP-complete
21. Dec 2021
Quantifying Software Reliability via Model-Counting
We present and evaluate a pipeline allowing for the quantification of C-programs according to their specification adherence.
23. Aug 2021
Solving difficult SMT instances using abstractions and incremental SMT solving
Bachelor Thesis
16. Sep 2019