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.