Институт теории вычислений Саймонса
 | Эта статья нуждается в дополнительных цитатах для проверки . ( февраль 2018 г. ) |
| Формирование | 2012 |
|---|---|
| Тип | теоретической информатики Научно-исследовательский институт |
| Расположение | |
Директор | Шафи Гольдвассер |
| Веб-сайт | simons.berkeley.edu |
Институт теории вычислений Саймонса при Калифорнийском университете в Беркли — это институт совместных исследований в области теоретической информатики . [1]
История [ править ]
Основанная 1 июля 2012 года на основе гранта в размере 60 миллионов долларов от Фонда Саймонса . [2] Институт расположен в Calvin Lab, специально отведенном здании на территории кампуса Беркли . Институт Саймонса объединяет ведущих исследователей в области теоретической информатики и смежных областей, а также новое поколение выдающихся молодых ученых для изучения глубоких нерешенных проблем, касающихся природы и пределов вычислений.
Ричард М. Карп был директором-основателем Института, а его коллега, премии Тьюринга обладатель Шафи Гольдвассер, занял пост директора 1 января 2018 года. [3] [4]
Миссия [ править ]
Целью института является содействие фундаментальным исследованиям в области информатики , а также расширение горизонтов этой области путем изучения других научных дисциплин через призму вычислений . Эта вторая и отличительная цель мотивируется тем фактом, что природные явления во многих научных областях (включая математику, статистику, физику, астрономию, биологию и экономику) или модели, разработанные этими областями для этих явлений, по своей природе являются вычислительными - от от химических процессов в живых клетках до самоорганизующегося поведения сложных систем взаимодействующих частиц, до механизмов, управляющих эволюцией человека и коллективного поведения конкурирующих агентов в экономике. Понимание, полученное в результате таких исследований, часто отражается на теории вычислений, открывая новые направления и углубляя наше понимание фундаментальных проблем теории сложности и алгоритмов.
Деятельность [ править ]
Основная деятельность Института вращается вокруг меняющейся последовательности программ; программа обычно длится один семестр, и в каждом семестре обычно проводится две параллельные программы. [5] Программа, проводимая небольшой группой организаторов, обычно включает 60-70 постоянных участников (старших и младших исследователей), а также дополнительных краткосрочных посетителей, посещающих семинары в течение семестра. Юных участников поддерживает программа Fellowships.
Темы программы призваны охватить все области теоретической информатики, а также ее связи с другими научными дисциплинами; Институт, в частности, стремится выявить программы, которые потенциально могут привести к существенному прогрессу в этой области, а не продвигать «обычный бизнес».
| Семестр | Программа | Организаторы |
|---|---|---|
| Весна 2024 г. | Коды, исправляющие ошибки: теория и практика [6] | Шивакант Гопи, Венкатесан Гурусвами , Генри Пфистер, Мэри Вуттерс , Жиль Земор |
| Весна 2024 г. | Квантовые алгоритмы, сложность и отказоустойчивость [7] | Анураг Аншу, Николас Бройкманн , Патрик Хейден , Сэнди Ирани, Урмила Махадев , Умеш Вазирани |
| Лето 2024 г. | Сублинейные алгоритмы [8] | Клеман Канонн, Артур Чумай, Петр Индик , Джелани Нельсон , Нога Рон-Зеви, Ронитт Рубинфельд , Асаф Шапира |
| Лето 2024 г. | Летний кластер: искусственный интеллект, психология и нейронаука [9] | Шири Гиносар, Жюстин Касселл , Элисон Гопник , Филлип Изола, Христос Пападимитриу , Аманда Сид, Антонио Торральба, Дорис Цао , Шимон Ульман |
| Лето 2024 г. | Расширенное воссоединение: теоретические основы компьютерных систем [10] | Ружица Пискач, Моше Варди |
Ссылки [ править ]
- ^ «Беркли возглавляет конкурс Института Саймонса по теоретической информатике» . СИАМ Новости . Проверено 14 сентября 2019 г.
- ^ Маркофф, Джон (30 апреля 2012 г.). «Калифорния выбрана домом для вычислительного института» . Нью-Йорк Таймс .
- ^ «Известный ученый-компьютерщик Шафи Гольдвассер присоединится к Институту Саймонса» . Ежедневный калифорнийец . 13 октября 2017 г.
- ^ «Шафи Гольдвассер назначен директором Института теории вычислений Саймонса» . cacm.acm.org . Проверено 14 сентября 2019 г.
- ^ «Программы и мероприятия» . Саймонсовский институт теории вычислений . Проверено 28 октября 2021 г.
- ^ «Коды, исправляющие ошибки: теория и практика» . Саймонсовский институт теории вычислений . 09.01.2024 . Проверено 14 января 2024 г.
- ^ «Квантовые алгоритмы, сложность и отказоустойчивость» . Саймонсовский институт теории вычислений . 09.01.2024 . Проверено 14 января 2024 г.
- ^ «Сублинейные алгоритмы» . Саймонсовский институт теории вычислений . 20 мая 2024 г. Проверено 14 января 2024 г.
- ^ «Летний кластер: ИИ, психология и нейронаука» . Саймонсовский институт теории вычислений . 03.06.2024 . Проверено 14 января 2024 г.
- ^ «Расширенное воссоединение: теоретические основы компьютерных систем» . Саймонсовский институт теории вычислений . 01 июля 2024 г. Проверено 14 января 2024 г.
37 ° 52'16 "N 122 ° 15'14" W / 37,87111 ° N 122,25389 ° W