Центр математики и информатики

Центр математики и информатики (Centrum Wiskunde & Informatica, CWI) — один из ведущих европейских научно-исследовательских институтов в области математики и теоретической информатики. Его официальное английское наименование — «Национальный исследовательский институт математики и информатики» (англ. National Research Institute for Mathematics and Computer Science), а с момента основания в 1946—1983 гг. нидерландское название было «Математический центр» (нидерл. Mathematisch Centrum). В наше время здание CWI находится в районе под названием «Научный парк» (Science Park), который оно делит с несколькими другими НИИ и зданиями Амстердамского университета.

Центр математики и информатики (CWI)
Оригинальное название	нидерл. Centrum Wiskunde & Informatica (CWI)
Основан	1946
Директор	Йос Батен (после 4.11.2011)
Сотрудников	200+: 45 профессоров 50 постдоков 14 научных сотрудников 97 аспирантов 9 стажёров 6 научных программистов[1] 39 персонала поддержки[2]
Аспирантура	есть
Расположение	Амстердам
Юридический адрес	Science Park 123, 1098 XG Амстердам, Нидерланды
Сайт	cwi.nl
Медиафайлы на Викискладе

Основатели НИИ — Йоханнес ван дер Корпут, Давид ван Данциг, Юрьен Коксма^[англ.], Крамерс, Хендрик Антони, Миннарт, Марсел и Схоутен, Ян Арнольдус.

Основная цель НИИ была задекларирована как разработка математического аппарата поддержки моделирования для больших инженерных послевоенных проектов Нидерландов 1940-х и 1950-х годов: проекта «Дельта», создания первого голландского компьютера ARRA, проектирования крыла самолёта Fokker F27 и т. п.^[3]

В 1947 году во главе центра стал Адриан ван Вейнгаарден, основатель голландской информатики, и в течение двадцати лет занимал пост директора, постепенно смещая акцент исследований в сторону теоретической и прикладной информатики. Как раз в это время в НИИ активно работает Эдсгер Дейкстра, сначала в качестве научного программиста, затем научного сотрудника, затем профессора. Они исследовали грамматики ван Вейнгаардена, языки программирования ALGOL-60 и ALGOL-68, исчисление процессов, структурное программирование, алгоритмы на графах и прочие темы. В 1983 году институт меняет название, чтобы оно точнее отражало истинное положение дел.

Сотрудник CWI Пит Бертема^[англ.] в 1980-е годы сыграл решающую роль в развитии европейского интернета — вначале в качестве ключевого активиста EUnet, затем как регистратор домена первого уровня .nl (25 апреля 1986) и первого домена второго уровня cwi.nl (1 мая 1986), и в последовавшие за тем десять лет занимаясь регистрацией всех нидерландских доменов вручную. В 1996 была создана Организация по регистрации интернет-доменов в Нидерландах (нидерл. Stichting Internet Domeinregistratie Nederland, SIDN), которая с тех пор выполняет его обязанности. Однако, к единому Интернету Центр математики и информатики был подключён только 17 ноября 1988 года, после долгих переговоров с американскими администраторами (которые вёл тот же П. Бертема). Это было первое открытое трансатлантическое соединение. Нынешняя домашняя страничка Пита Бертемы носит название GodfatherOf.nl — «крёстный отец домена .nl». За свои заслуги 9 июня 1999 года Пит Бертема получил статус кавалера ордена Нидерландского льва^[4]. Подобных наград удостаивались и другие сотрудники CWI: Лекс Схрейвер (рыцарь ордена льва^[5], 2005), Паул Клинт (офицер ордена Оранских-Нассау^[6], 2013) и т. п.

В отличие от теоретической информатики, вычислительная математика хуже приживалась в самом CWI, однако в 1971 году совместными усилиями Математического центра, Амстердамского университета и Свободного университета Амстердама был основан отдельный НИИ Академический вычислительный центр^[англ.], ориентированный на работу с суперкомпьютерами и высокоточной визуализацией. В качестве примера ведущихся в CWI исследований, связанных с длительными масштабными вычислениями, можно привести работы Хермана те Риле^[англ.]: подтверждение гипотезы Римана для первых полутора миллиардов нулей дзета-функции; доказательство ошибочности гипотезы Мертенса; верхнее приближение для числа Скьюза; факторизация особо больших чисел для взлома RSA-140 и RSA-155.

С середины 1980-х годов в рамках исследований Центра математики и информатики рождаются несколько языков программирования, в частности ABC, Alma-0^[англ.], SMIL и Python, последний из которых получил особенно широкое международное распространение. Вопреки распространённому заблуждению, Питон не был отдельным проектом CWI, его создатель Гвидо ван Россум создал первый прототип во время рождественных каникул 1989 года, потому что не был доволен практичностью ABC (который был официальным проектом CWI)^[3].

Известный криптограф Дэвид Чаум опубликовал свою знаменитую задачу об обедающих криптографах также во время работы в Центре математики и информатики.

Примечания

1. Research staff Архивная копия от 6 августа 2011 на Wayback Machine.
2. Service staff Архивная копия от 6 августа 2011 на Wayback Machine.
3. Achievements Архивная копия от 16 августа 2011 на Wayback Machine.
4. CWI Achievements: details Архивная копия от 5 ноября 2013 на Wayback Machine.
5. Mathematician Lex Schrijver receives honorary doctorate  (неопр.). Дата обращения: 3 ноября 2013. Архивировано 5 ноября 2013 года.
6. Royal decoration for Paul Klint  (неопр.). Дата обращения: 3 ноября 2013. Архивировано 5 ноября 2013 года.

Ссылки

• Веб-сайт Центра математики и информатики