Институт Саймонса по теории вычислений - Simons Institute for the Theory of Computing - Wikipedia

Институт Саймонса по теории вычислений
Формирование2012
ТипТеоретическая информатика исследовательский институт
Место расположения
Директор
Шафи Гольдвассер
Интернет сайтsimons.berkeley.edu

В Институт Саймонса по теории вычислений на Калифорнийский университет в Беркли это площадка для совместных исследований в теоретическая информатика.[1]

История

Создан 1 июля 2012 г. на средства гранта в размере 60 млн долларов США от Фонд Саймонса,[2] Институт расположен в Calvin Lab, специальном здании на территории кампуса Беркли. Институт Саймонса объединяет ведущих исследователей в области теоретической информатики и смежных областей, а также следующее поколение выдающихся молодых ученых для изучения глубоких нерешенных проблем, касающихся природы и ограничений вычислений.

Ричард М. Карп был директором-основателем института и сотрудником Премия Тьюринга победитель Шафи Гольдвассер вступил в должность Директора 1 января 2018 г.[3][4]

Миссия

Институт нацелен на продвижение фундаментальных исследований на основе Информатика, а также расширить горизонты области, изучая другие научные дисциплины через вычислительная линза. Эта вторая и отличительная цель мотивирована тем фактом, что природные явления во многих научных областях (включая математику, статистику, физику, астрономию, биологию и экономику) или модели, разработанные этими полями для этих явлений, по своей природе являются вычислительными по своей природе - от химические процессы в живых клетках, самоорганизующееся поведение сложных систем взаимодействующих частиц, механизмы, управляющие эволюцией человека, и коллективное поведение конкурирующих агентов в экономике. Понимание, полученное в результате таких исследований, часто отражает теорию вычислений, открывая новые направления и продвигая наше понимание фундаментальных проблем теории сложности и алгоритмов.

Деятельность

Основная деятельность Института вращается вокруг чередующейся последовательности программ; программа обычно длится один семестр, и обычно в каждом семестре будет две параллельные программы. Программа, проводимая небольшой группой организаторов, обычно включает 60-70 долгосрочных участников (как старших, так и младших исследователей) с дополнительными краткосрочными посетителями, посещающими семинары в течение семестра. Младшие участники поддерживаются программой стипендий.

Темы программы предназначены для охвата всех областей теоретической информатики, а также ее связи с другими научными дисциплинами; Институт, в частности, нацелен на выявление программ, которые потенциально могут привести к существенному прогрессу в этой области, а не на продвижение «обычного ведения бизнеса». Предложения по программам запрашиваются у мирового сообщества теоретиков информатики и могут быть поданы в любое время. Предложения рассматриваются Научно-консультативным советом института, который собирается два раза в год. Отбор предложений обычно происходит примерно за 2 года до начала программы.

Рекомендации

  1. ^ "Соревнование" Беркли-Топс "для Института Саймонса по теоретической CS". Новости SIAM. Получено 2019-09-14.
  2. ^ Марков, Джон (30 апреля 2012 г.). «Калифорния выбрана домом для вычислительного института». Нью-Йорк Таймс.
  3. ^ «Известный компьютерный ученый Шафи Гольдвассер присоединится к Simons Institute». Ежедневный калифорнийский. 13 октября 2017 г.
  4. ^ Новости, Беркли. «Шафи Гольдвассер назначен директором Института Саймонса по теории вычислений». cacm.acm.org. Получено 2019-09-14.