Faculty of the Group

Robert M. Anderson, Professor of Economics and Mathematics. Ph.D., Yale University, 1977. Nonstandard analysis.

Branden Fitelson, Assistant Professor of Philosophy. Philosophy of science, logic, automated reasoning.

Leo A. Harrington, Professor of Mathematics Recursion theory, model theory, set theory.

John MacFarlane, Associate Professor of Philosophy. Ph.D., Philosophy, University of Pittsburgh, 2000. Philosophy of language, philosophical logic, history and philosophy of logic.

Paolo Mancosu, Professor of Philosophy. Ph.D., Philosophy, Stanford, 1989; joined Berkeley faculty in 1995. Logic, philosophy of mathematics.

George Necula, Ph.D. Associate Professor of Electrical Engineering and Computer Science.

Christos H. Papadimitriou, Professor of Computer Science. Ph.D., Computer Science, Princeton University, 1976; joined Berkeley faculty in 1996. Complexity theory, theory of computation.

Sherrilyn Roush, Associate Professor of Philosophy. Ph.D., Philosophy, Harvard University, 1999; joined Berkeley faculty in 2006. Philosophy of science, epistemology.

Thomas Scanlon, Associate Professor of Mathematics Model theory, Diophantine geometry.

Jack H. Silver, Professor of Mathematics.

Theodore A. Slaman, Professor of Mathematics. Ph.D., Mathematics, Harvard, 1981; joined Berkeley faculty in 1996. Recursion theory.

Hans D. Sluga, Professor of Philosophy. BPhil, Oxford University, 1962. History of logic, philosophy of mathematics.

John R. Steel, Professor of Mathematics. Ph.D., Logic and Methodology of Science, Berkeley, 1977; joined Berkeley faculty in 1996. Set theory, inner model theory, descriptive set theory.

Umesh Vazirani, Professor of Computer Science. Ph.D., Computer Science, University of California, Berkeley. Complexity theory, cryptography.

W. Hugh Woodin, Professor of Mathematics. Large cardinals, determinacy, set theory.

Emeritus Faculty

Ernest W. Adams, Professor Emeritus of Philosophy. Ph.D., Stanford, 1956; joined Berkeley faculty 1956. Philosophy of science, philosophical logic.

John W. Addison Jr., Professor Emeritus of Mathematics. Theory of definability, descriptive set theory, model theory, recursive function theory.

David H. Blackwell, Professor Emeritus of Statistics and Mathematics. Bayesian statistics, game theory.

Charles S. Chihara, Emeritus Professor of Philosophy. Ph.D., Philosophy, University of Washington, 1960. Philosophy of mathematics, philosophical logic.

Alan Code, Professor Emeritus of Philosophy. Ancient logic.

William Craig, Professor Emeritus of Philosophy. Ph.D., Harvard University, 1951. Previous positions at Penn State; at Berkeley since 1960. Foundations of logic, algebraic logic, proof theory, universal algebra.

Lester E. Dubins, Professor Emeritus of Mathematics and Statistics. Probability.

Richard M. Karp, Ph.D., University Professor and Professor Emeritus of Electrical Engineering and Computer Sciences, of Industrial Engineering and Operations Research, and of Mathematics. Computational complexity.

Paul Kay, Ph.D., Professor Emeritus of Linguistics Semantics, pragmatics, syntax, lexicon.

Benson Mates, Ph.D., Professor Emeritus of Philosophy. Philosophy.

Ralph McKenzie, Professor Emeritus of Mathematics; Distinguished Professor, Vanderbilt University. Ph.D., University of Colorado 1966; joined Berkeley faculty in 1966. General algebra, lattice theory, ordered sets, logic, algorithms.

J. Frits Staal, Professor Emeritus of Philosophy and South Asian Languages Linguistics, philosophy of language.

Lotfi Zadeh, Professor Emeritus of Electrical Engineering and Computer Sciences. Artificial intelligence, natural language processing, expert systems, fuzzy sets.