W. Hugh Woodin

W. Hugh Woodin is a Distinguished Professor Emeritus of Mathematics at the University of California, Berkeley and a Professor of Philosophy and of Mathematics at Harvard University. Woodin is a leading set theorist. He has made many notable contributions to the theory of inner models and determinacy, to functional analysis, and recursion theory. A type of large cardinal, the Woodin cardinal, bears his name. He is a managing editor of the Journal of Mathematical Logic. In 1989 he received the Carol Karp Prize from the Association for Symbolic Logic.