サイモンズ理論計算機科学研究所

カリフォルニア大学バークレー校のサイモンズ理論計算機科学研究所は、理論計算機科学における共同研究のための研究所である。^{[ 1 ]}

サイモンズ研究所は、サイモンズ財団からの6,000万ドルの助成金を受けて2012年7月1日に設立され^{[ 2 ]}、バークレーキャンパス内の専用ビルであるカルビン研究所に拠点を置いています。サイモンズ研究所は、理論計算機科学および関連分野の第一線の研究者と、次世代の優秀な若手研究者を集め、計算の性質と限界に関する深い未解決問題を探求しています。

リチャード・M・カープは研究所の創設所長であり、同じくチューリング賞受賞者のシャフィ・ゴールドワッサーが2018年1月1日に所長に就任した。^{[ 3 ] [ 4 ]}

当研究所は、コンピュータ科学の基礎に関する基礎研究を推進するとともに、計算論的視点から他の科学分野を探求することで、この分野の視野を広げることを目指しています。この2つ目の、そして特徴的な目標は、多くの科学分野（数学、統計学、物理学、天文学、生物学、経済学など）における自然現象、あるいはこれらの分野が開発した現象モデルが、本質的に計算論的な性質を持っているという事実に基づいています。例えば、生細胞内の化学プロセスから、相互作用する粒子の複雑なシステムの自己組織化挙動、人類の進化を支配するメカニズム、経済における競合する主体の集団行動に至るまで、その例は枚挙にいとまがありません。こうした探求から得られた知見は、しばしば計算理論に反映され、新たな方向性を開拓し、複雑性理論やアルゴリズムにおける根本的な問題への理解を深めることにつながります。

研究所の中核的な活動は、ローテーション制のプログラムを中心に展開されます。プログラムは通常1学期実施され、各学期には通常2つのプログラムが同時開催されます。^{[ 5 ]}少数の主催者グループによって運営されるプログラムには、通常60～70名の長期参加者（上級研究者と若手研究者の混合）が含まれ、学期中にワークショップに参加する短期訪問者もいます。若手参加者はフェローシッププログラムによって支援されます。

プログラムのテーマは、理論計算機科学のあらゆる分野、および他の科学分野との関連性を網羅することを意図しています。当研究所は特に、「現状維持」を推進するのではなく、この分野における大きな進歩につながる可能性のあるプログラムを特定することを目指しています。

北緯37度52分16秒、西経122度15分14秒/北緯37.87111度、西経122.25389度/北緯37.87111度、西経122.25389度