Faculty of the Group

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

Office: 501 Evans Hall
Phone: 510–642–5248
E-mail:
Web: http://emlab.berkeley.edu/facdir/anderson.html

Lara Buchak, Assistant Professor of Philosophy. Ph.D., Princeton University, 2009. Decision theory.

Office: 247 Moses Hall
Phone: 510–296–5932
E-mail:
Web: http://philosophy.berkeley.edu/people/detail/208

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

Office: 765 Evans Hall
Phone: 510–642–3790
E-mail:
Web: http://math.berkeley.edu/~leo

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

Office: 231 Moses Hall
Phone: 510–394–3321
E-mail:
Web: http://johnmacfarlane.net/

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

Office: 233 Moses Hall
Phone: 510–296–4325
E-mail:
Web: http://philosophy.berkeley.edu/mancosu/

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

Office: 783 Soda Hall
Phone: 510–643–1481
E-mail:
Web: http://www.eecs.berkeley.edu/~necula/

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

Office: 689 Soda Hall
Phone: 510–642–1559
E-mail:
Web: http://www.cs.berkeley.edu/~christos/

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

Office: 146 Moses Hall
Phone: 510–296–5925
E-mail:
Web: http://philosophy.berkeley.edu/roush

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

Office: 723 Evans Hall
Phone: 510–642–3665
E-mail:
Web: http://www.math.berkeley.edu/~scanlon/

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

Office: 719 Evans Hall
Phone: 510–643–5695
E-mail:
Web: http://math.berkeley.edu/~slaman/

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

Office: 309 Moses Hall
Phone: 510–296–5926
E-mail:
Web: http://philosophy.berkeley.edu/sluga/

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. Graduate Adviser.

Office: 717 Evans Hall
Phone: 510–642–2252
E-mail:
Web: http://math.berkeley.edu/~steel

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

Office: 671 Soda Hall
Phone: 510–642–0572
E-mail:
Web: http://www.cs.berkeley.edu/~vazirani/

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

Office: 721 Evans Hall
Phone: 510–643–7644
E-mail:
Web: http://www.math.berkeley.edu/~woodin/

Seth Yalcin, Assistant Professor of Philosophy. Ph.D., MIT, 2008. Philosophy of language, philosophical logic.

Office: 138 Moses Hall
Phone: 510–296–4327
E-mail:
Web: http://philosophy.berkeley.edu/people/detail/240

Emeritus Faculty

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

Office: 797 Evans Hall
Phone: 510–642–2147
E-mail:

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

Office: 243 Moses Hall
E-mail:
Web: http://philosophy.berkeley.edu/chihara/

Alan Code, Professor Emeritus of Philosophy. Ancient logic.

E-mail:

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

Office: 243 Moses Hall

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.

Office: 621 Soda Hall
Phone: 510–642–5799

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

Office: 1203 Dwinelle Hall
Phone: 510–643–5431

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.

E-mail:

Jack H. Silver, Professor of Mathematics.

Office: 753 Evans Hall
Phone: 510–642–2586
E-mail:

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

Office: 314 Moses Hall

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

Office: 729 Soda Hall
Phone: 510–642–4959