# Faculty of the Group

**Gabriel Goldberg**, Assistant Professor of
Mathematics. Ph.D., Mathematics, Harvard University, 2019. *Set
theory, large cardinals, inner model theory, infinite
combinatorics.* **Logic Colloquium Chair.**

**Wesley H. Holliday**, Professor of Philosophy. Ph.D.,
Philosophy, Stanford University, 2012. *Modal and nonclassical logic,
logic and natural language, logic and probability, logic and social
choice theory.* **Chair of the Group.**

Office: 246 Philosophy Hall

E-mail: wesholliday@berkeley.edu

Web: http://wesholliday.net

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

Office: 231 Philosophy Hall

E-mail: jgm@berkeley.edu

Web: http://johnmacfarlane.net/

**Paolo Mancosu**, Willis S. and Marion Slusser
Professor of Philosophy. Ph.D., Philosophy, Stanford University, 1989;
joined Berkeley faculty in 1995. *Logic, philosophy of
mathematics.*

Office: 233 Philosophy Hall

E-mail: mancosu@socrates.berkeley.edu

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

**Andrew Marks**, Professor of Mathematics. Ph.D., UC
Berkeley, 2012. *Descriptive set theory.*

Office: 733 Evans

E-mail: marks@math.berkeley.edu

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

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

Office: 721 Evans

E-mail: antonio@math.berkeley.edu

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

**Stuart Russell**, Professor of Computer Science and
Smith-Zadeh Professor in Engineering, University of California,
Berkeley, Adjunct Professor of Neurological Surgery, University of
California, San Francisco. Ph.D., Computer Science, Stanford University,
1986. *Artificial intelligence.*

Office: 740 Sutardja Dai Hall

E-mail: russell@cs.berkeley.edu

Web: https://www.cs.berkeley.edu/~russell/

**Thomas Scanlon**, Professor of Mathematics. *Model
theory, Diophantine geometry.* **Graduate
Adviser.**

Office: 723 Evans Hall

Phone: 510-642-3665

E-mail: scanlon@math.berkeley.edu

Web: http://www.math.berkeley.edu/~scanlon/

**Sanjit A. Seshia**, 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: sseshia@eecs.berkeley.edu

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

**Pierre Simon**, Associate Professor of Mathematics.
Ph.D., Université d’Orsay, 2011. *Model theory.*

Office: 733 Evans Hall

E-mail: simon@math.berkeley.edu

Web: http://www.normalesup.org/~simon/

**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: slaman@math.berkeley.edu

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

**Hans D. Sluga**, William and Trudy Ausfahl Professor
of Philosophy. BPhil, Oxford University, 1962. *History of logic,
philosophy of mathematics.*

Office: 309 Philosophy Hall

E-mail: sluga@berkeley.edu

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

Office: 717 Evans Hall

Phone: 510-642-2252

E-mail: steel@math.berkeley.edu

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: vazirani@cs.berkeley.edu

Web: http://www.cs.berkeley.edu/~vazirani/

**Seth Yalcin**, Professor of Philosophy. Ph.D., MIT,
2008. *Philosophy of language, philosophical logic.*
**Diversity and Equity Officer.**

Office: 138 Philosophy Hall

E-mail: yalcin@berkeley.edu

Web: http://philosophy.berkeley.edu/people/detail/240

**Xueyin (Snow) Zhang**, Assistant Professor of
Philosophy. Ph.D., Philosophy, Princeton University, 2021. *Formal
epistemology, philosophy of probability and decision theory.*

E-mail: snowzhang@berkeley.edu

Web: https://snowxueyinzhang.com/

# 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: addison@math.berkeley.edu

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

Office: 501 Evans Hall

Phone: 510-642-5248

E-mail: anderson@econ.berkeley.edu

Web: http://emlab.berkeley.edu/facdir/anderson.html

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

Office: 243 Philosophy Hall

E-mail: charles1@socrates.berkeley.edu

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

**Alan Code**, Professor Emeritus of Philosophy (now
Professor of Philosophy at Stanford). *Ancient logic.*

E-mail: acode@philosophy.rutgers.edu

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

Office: 765 Evans Hall

Phone: 510-642-3790

E-mail: leo@math.berkeley.edu

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

**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: mckenzie@math.vanderbilt.edu

**George Necula**, Professor Emeritus of Electrical
Engineering and Computer Science.

**Christos H. Papadimitriou**, Professor Emeritus of
Computer Science. Ph.D., Computer Science, Princeton University, 1976.
*Complexity theory, theory of computation.*

E-mail: christos@columbia.edu

Web: https://www.engineering.columbia.edu/faculty/christos-papadimitriou

**W. Hugh Woodin**, Professor Emeritus of Mathematics
(now Professor of Mathematics and of Philosophy, Harvard). *Large
cardinals, determinacy, set theory.*