May 7-10, 2017 Asilomar, California

The FairSquare Project: Countering Programs that Discriminate

Aws Albarghouthi

Software has become a powerful arbitrator of a range of significant decisions with far-reaching societal impact---hiring, welfare allocation, prison sentencing, policing, amongst many others. With the range and sensitivity of algorithmic decisions expanding by the day, the problem of understanding the nature of program discrimination and fairness is a pressing one. In this talk, I will describe our work on the FairSquare project, in which we are developing program verification and synthesis tools aimed at rigorously characterizing and reasoning about fairness of decision-making programs.