An Information-Flow Perspective on Algorithmic Fairness 10. Aug 2023· Samuel Teuber · 0 min read Last updated on 10. Aug 2023 Authors Samuel Teuber PhD Student Interested in formal methods for software and machine learning verification with a focus on cyber-physical systems and algorithmic fairness. ← Provably Safe Neural Network Controllers via Differential Dynamic Logic 22. Jul 2024