Институт Саймонса по теории вычислений - Simons Institute for the Theory of Computing
 | Эта статья нужны дополнительные цитаты для проверка. (Февраль 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
| Формирование | 2012 |
|---|---|
| Тип | Теоретическая информатика исследовательский институт |
| Место расположения | |
Директор | Шафи Гольдвассер |
| Интернет сайт | simons.berkeley.edu |
В Институт Саймонса по теории вычислений на Калифорнийский университет в Беркли это площадка для совместных исследований в теоретическая информатика.[1]
История
Создан 1 июля 2012 г. на средства гранта в размере 60 млн долларов США от Фонд Саймонса,[2] Институт расположен в Calvin Lab, специальном здании на территории кампуса Беркли. Институт Саймонса объединяет ведущих исследователей в области теоретической информатики и смежных областей, а также следующее поколение выдающихся молодых ученых для изучения глубоких нерешенных проблем, касающихся природы и ограничений вычислений.
Ричард М. Карп был директором-основателем института и сотрудником Премия Тьюринга победитель Шафи Гольдвассер вступил в должность Директора 1 января 2018 г.[3][4]
Миссия
Институт нацелен на продвижение фундаментальных исследований на основе Информатика, а также расширить горизонты области, изучая другие научные дисциплины через вычислительная линза. Эта вторая и отличительная цель мотивирована тем фактом, что природные явления во многих научных областях (включая математику, статистику, физику, астрономию, биологию и экономику) или модели, разработанные этими полями для этих явлений, по своей природе являются вычислительными по своей природе - от химические процессы в живых клетках, самоорганизующееся поведение сложных систем взаимодействующих частиц, механизмы, управляющие эволюцией человека, и коллективное поведение конкурирующих агентов в экономике. Понимание, полученное в результате таких исследований, часто отражает теорию вычислений, открывая новые направления и продвигая наше понимание фундаментальных проблем теории сложности и алгоритмов.
Деятельность
Основная деятельность Института вращается вокруг чередующейся последовательности программ; программа обычно длится один семестр, и обычно в каждом семестре будет две параллельные программы. Программа, проводимая небольшой группой организаторов, обычно включает 60-70 долгосрочных участников (как старших, так и младших исследователей) с дополнительными краткосрочными посетителями, посещающими семинары в течение семестра. Младшие участники поддерживаются программой стипендий.
Темы программы предназначены для охвата всех областей теоретической информатики, а также ее связи с другими научными дисциплинами; Институт, в частности, нацелен на выявление программ, которые потенциально могут привести к существенному прогрессу в этой области, а не на продвижение «обычного ведения бизнеса». Предложения по программам запрашиваются у мирового сообщества теоретиков информатики и могут быть поданы в любое время. Предложения рассматриваются Научно-консультативным советом института, который собирается два раза в год. Отбор предложений обычно происходит примерно за 2 года до начала программы.
Рекомендации
- ^ "Соревнование" Беркли-Топс "для Института Саймонса по теоретической CS". Новости SIAM. Получено 2019-09-14.
- ^ Марков, Джон (30 апреля 2012 г.). «Калифорния выбрана домом для вычислительного института». Нью-Йорк Таймс.
- ^ «Известный компьютерный ученый Шафи Гольдвассер присоединится к Simons Institute». Ежедневный калифорнийский. 13 октября 2017 г.
- ^ Новости, Беркли. «Шафи Гольдвассер назначен директором Института Саймонса по теории вычислений». cacm.acm.org. Получено 2019-09-14.