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

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

**Wesley H. Holliday**, Assistant Professor of Philosophy. Ph.D., Philosophy, Stanford University, 2012. *Epistemic logic, epistemology, modal logic.* **Logic Colloquium Chair.**

Office: 246 Moses Hall

Phone: 510-296-5916

E-mail:

Web: http://philosophy.berkeley.edu/holliday

**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 University, 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/

**Antonio Montalban**, Associate Professor of Mathematics. Ph.D., Cornell University 2005. *Computability theory.*

Office: 721 Evans

Web: http://math.berkeley.edu/~antonio/

**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/

**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/

**Sanjit A. Seshia**, Associate Professor of Electrical Engineering and Computer Sciences. Ph.D., Computer Science, Carnegie Mellon University, 2005. *Computational logic, dependable computing, formal methods, cyber-physical systems, computer security.*

Office: 566 Cory Hall

Phone: 510-643-6968

E-mail:

Web: http://www.eecs.berkeley.edu/~sseshia/

**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.* **Chair of the Group.**

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.* **Curator of the Logic Library.**

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.*

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:

**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