| Центр математики и информатики (CWI) |
|
| Международное название |
Centrum Wiskunde & Informatica (CWI) |
|---|---|
| Основан | |
| Директор |
Ян-Карел Ленстра (до 4.11.2011), Йос Батен (после 4.11.2011) |
| Сотрудников |
200+:
|
| Аспирантура |
есть |
| Расположение | |
| Юридический адрес |
Science Park 123, 1098 XG Амстердам, Нидерланды |
| Сайт |
http://www.cwi.nl/ |
Центр математики и информатики (Centrum Wiskunde & Informatica, CWI) — один из ведущих европейских научно-исследовательских институтов в области математики и теоретической информатики. Его официальное английское наименование — «Национальный исследовательский институт математики и информатики» (англ. National Research Institute for Mathematics and Computer Science), а с момента основания в 1946—1983 гг. нидерландское название было «Математический центр» (нидерл. Mathematisch Centrum). В наше время здание CWI находится в районе под названием «Научный парк» (Science Park), который оно делит с несколькими другими НИИ и зданиями Амстердамского университета.
Основатели НИИ — Йоханнес ван дер Корпут (англ.), Давид ван Данциг (англ.), Юрьен Коксма (англ.), Ханс Крамерс (англ.), Марсел Миннарт и Ян Арнольдус Схаутен (англ.). Основная цель НИИ была задекларирована как разработка математического аппарата поддержки моделирования для больших инженерных послевоенных проектов Нидерландов 1940-х и 1950-х годов: проекта «Дельта», создания первого голландского компьютера ARRA, проектирования крыла самолёта Fokker F27 и т. п.[3]
В 1947 году во главе центра стал Адриан ван Вейнгаарден, основатель голландской информатики, и в течение двадцати лет занимал пост директора, постепенно смещая акцент исследований в сторону теоретической и прикладной информатики. Как раз в это время в НИИ активно работает Эдсгер Дейкстра, сначала в качестве научного программиста, затем научного сотрудника, затем профессора. Они исследовали грамматики ван Вейнгаардена, языки программирования ALGOL-60 и ALGOL-68, исчисление процессов, структурное программирование, алгоритмы на графах и прочие темы. В 1983 году институт меняет название, чтобы оно точнее отражало истинное положение дел.
Сотрудник CWI GodfatherOf.nl — «крёстный отец домена .nl».
В отличие от теоретической информатики, вычислительная математика хуже приживалась в самом CWI, однако в 1971 году совместными усилиями Математического центра, Амстердамского университета и Свободного университета Амстердама был основан отдельный НИИ Академический вычислительный центр (англ.), ориентированный на работу с суперкомпьютерами и высокоточной визуализацией. В качестве примера ведущихся в CWI исследований, связанных с длительными масштабными вычислениями, можно привести работы Хермана те Риле (англ.): подтверждение гипотезы Римана для первых полутора миллиардов нулей дзета-функции; доказательство ошибочности гипотезы Мертенса (англ.); верхнее приближение для числа Скьюза; факторизация особо больших чисел для взлома RSA-140 и RSA-155.
С середины 1980-х годов в рамках исследований Центра математики и информатики рождаются несколько языков программирования, в частности ABC, Alma-0 (англ.), SMIL и Python, последний из которых получил особенно широкое международное распространение. Вопреки распространённому заблуждению, Питон не был отдельным проектом CWI, его создатель Г. ван Россум создал первый прототип во время рождественных каникул 1989 года, потому что не был доволен практичностью ABC (который был официальным проектом CWI)[3].
Известный криптограф Дэвид Чаум (англ.) опубликовал свою знаменитую задачу об обедающих криптографах также во время работы в Центре математики и информатики.
Математический центр Амстердама.