Scholar and philosopher of science focused on how to solve problems in hard epistemological conditions (specifically AI alignment), and more generally on analyzing, forging, and criticizing epistemic tools.