Samuel Teuber
Samuel Teuber
About Me
Research
Teaching
Blog
Algorithmic Fairness
An Information-Flow Perspective on Algorithmic Fairness
An exploration of the relationships between qualitative and quantitative information flow and various causal and non-causal fairness definitions with applications to program analysis.
Samuel Teuber
,
Bernhard Beckert
PDF
Cite
Code
Poster
Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract)
We demonstrate preliminary results on strong connections between Information Flow and Algorithmic Fairness Analysis
Samuel Teuber
,
Bernhard Beckert
PDF
Cite
Cite
×