William Hugh Woodin is Professor of Mathematics and Philosophy at Harvard University. His main interests are in mathematical logic, and particularly in axiomatic set theory (program of inner models, theory of determinacy and large cardinals, the continuum hypothesis), as well as in foundations of mathematics and philosophy of mathematics.