Talks

Seminars

How do we know an algorithm is treating us fairly?

Beyond the Bytes faculty speaker series, University of Colorado Boulder

Hyperproperties for fairness, privacy, and legal compliance, with examples from machine learning, autonomous systems, and tax-preparation software.

Slides with references (PDF, 23 MB) · Event details

Hyperproperties

Read the interactive article · Slides (PDF)

DIMAP seminar, University of Warwick

Presentation materials

Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations

ASE 2025

Slides (PowerPoint) · Paper and authors