The Simons Institute for the Theory of Computing at the

University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant u ...

is an institute for collaborative research in

theoretical computer science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...

History

Established on July 1, 2012 with a grant of $60 million from the

Simons Foundation The Simons Foundation is a private foundation established in 1994 by Marilyn and Jim Simons with offices in New York City. As one of the largest charitable organizations in the US with assets of over $5 billion in 2022, the foundation's mission ...

, the Institute is housed in Calvin Lab, a dedicated building on the

Berkeley campus The campus of the University of California, Berkeley and its surrounding community are home to a number of notable buildings by early 20th-century campus architect John Galen Howard, his peer Bernard Maybeck (best known for the San Francisco Pala ...

. The Simons Institute brings together the leading researchers in theoretical computer science and related fields, as well as the next generation of outstanding young scholars, to explore deep unsolved problems about the nature and limits of computation.

Richard M. Karp Richard Manning Karp (born January 3, 1935) is an American computer scientist and computational theorist at the University of California, Berkeley. He is most notable for his research in the theory of algorithms, for which he received a Turing ...

was Founding Director of the Institute, and fellow

Turing Award The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in compu ...

winner

Shafi Goldwasser en, Shafrira Goldwasser , name = Shafi Goldwasser , image = Shafi Goldwasser.JPG , caption = Shafi Goldwasser in 2010 , birth_place = New York City, New York, U.S. , birth_date = , death_date ...

took over as Director on January 1, 2018.

Mission

The Institute aims to promote fundamental research on the foundations of

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

, as well as to expand the horizons of the field by exploring other scientific disciplines through a ''computational lens''. This second and distinctive goal is motivated by the fact that natural phenomena in many scientific fields (including mathematics, statistics, physics, astronomy, biology and economics), or the models those fields have developed for these phenomena, are intrinsically computational in nature—from chemical processes in living cells to the self-organizing behavior of complex systems of interacting particles, to mechanisms governing human evolution and the collective behavior of competing agents in an economy. The insights gained from such explorations often reflect back to the theory of computation, opening new directions and advancing our understanding of fundamental issues in complexity theory and algorithms.

Activities

The Institute's core activities revolve around a rotating sequence of programs; a program typically runs for one semester, and there will usually be two concurrent programs each semester. Run by a small group of organizers, a program typically includes 60-70 long-term participants (a mix of senior and junior researchers), with additional short-term visitors attending workshops during the semester. Junior participants are supported by the Fellowships program. Program topics are intended to span all areas of theoretical computer science, as well as its connections to other scientific disciplines; the Institute particularly aims to identify programs that can potentially lead to substantial advances in the field, rather than promoting "business as usual".

References

{{authority control University of California, Berkeley Research institutes in the San Francisco Bay Area 2012 establishments in California