InfoQ Homepage Code Mesh London 2018 Content on InfoQ
-
Ethics and AI: Identifying and Preventing Bias in Predictive Models
Federica Pelzel explores how bias and discrimination can be introduced into models, and different strategies to prevent it from happening.
-
From Quadcopters to Helicopters: Formal Verification for Safer Vehicles
Kathleen Fisher explores the promises and limitations of current formal methods and techniques for producing useful software that probably does not contain exploitable bugs.