| Matematiikan ja tietojenkäsittelytieteen keskus ( CWI ) | |
|---|---|
| alkuperäinen nimi | netherl. Centrum Wiskunde & Informatica (CWI) |
| Perustettu | 1946 |
| Johtaja | Jos Baten (4.11.2011 jälkeen) |
| Työntekijät |
200+ :
|
| PhD | on |
| Sijainti | Amsterdam |
| Laillinen osoite | Science Park 123, 1098 XG Amsterdam , Alankomaat |
| Verkkosivusto | cwi.nl |
| Mediatiedostot Wikimedia Commonsissa | |
Center for Mathematics and Informatics ( Centrum Wiskunde & Informatica , CWI ) on yksi johtavista eurooppalaisista matematiikan ja tietoteorian tutkimuslaitoksista . Sen virallinen englanninkielinen nimi on National Research Institute for Mathematics and Computer Science , ja sen perustamisesta lähtien vuosina 1946-1983. hollantilainen nimi oli "Mathematical Centre" ( hollanti. Mathematisch Centrum ). Nykyisin CWI-rakennus sijaitsee alueella nimeltä "Science Park" ( Science Park ), jonka se jakaa useiden muiden Amsterdamin yliopiston tutkimuslaitosten ja rakennusten kanssa .
Tutkimuslaitoksen perustajat ovat Johannes van der Corput , David van Danzig , Jurien Koksma , Kramers, Hendrik Anthony , Minnart, Marcel ja Schouten, Jan Arnoldus .
Tutkimuslaitoksen päätavoitteeksi julistettiin matemaattisen mallinnuksen tukityökalun kehittäminen suuriin sodanjälkeisiin insinööriprojekteihin Alankomaissa 1940- ja 1950-luvuilla: Delta-projekti , ensimmäisen hollantilaisen ARRA -tietokoneen luominen , Fokker F27 -lentokoneen siipi jne. [3]
Vuonna 1947 Adrian van Wiingaarden , hollantilaisen tietojenkäsittelytieteen perustaja, nousi keskuksen johtajaksi ja toimi johtajana 20 vuoden ajan siirtäen vähitellen tutkimuksen painopistettä teoreettiseen ja soveltavaan tietojenkäsittelytieteeseen. Juuri tähän aikaan Edsger Dijkstra työskenteli aktiivisesti tutkimuslaitoksessa ensin tieteellisenä ohjelmoijana , sitten tutkijana ja sitten professorina . He tutkivat van Wiingaardenin kielioppeja, ohjelmointikieliä ALGOL-60 ja ALGOL-68 , prosessilaskentaa , strukturoitua ohjelmointia , graafialgoritmeja ja muita aiheita. Vuonna 1983 instituutti muutti nimensä kuvastaakseen paremmin asioiden todellista tilaa.
CWI:n työntekijä Pete Berthema eurooppalaisen Internetin kehityksessä 1980-luvulla, ensin EUnetin avainaktivistina , sitten .nl -ensimmäisen tason verkkotunnuksen rekisteröijänä ( 25. huhtikuuta 1986 ja ensimmäisenä cwi:nä. nl toisen tason verkkotunnus ( 1. toukokuuta 1986 ), ja seuraavien kymmenen vuoden aikana kaikkien hollantilaisten verkkotunnusten rekisteröinti manuaalisesti. Vuonna 1996 perustettiin hollantilainen Internet-verkkotunnusten rekisteröintiorganisaatio ( Hollanti Stichting Internet Domeinregistratie Nederland , SIDN), ja se on hoitanut tehtäviään siitä lähtien. Matematiikan ja informatiikan keskus liitettiin kuitenkin yhdistettyyn Internetiin vasta 17. marraskuuta 1988 amerikkalaisten ylläpitäjien kanssa käytyjen pitkien neuvottelujen jälkeen (jotka johti sama P. Bertema). Se oli ensimmäinen avoin transatlanttinen yhteys. Pete Bertheman nykyinen kotisivu on nimeltään GodfatherOf.nl - " .nl-verkkotunnuksen kummisetä ". Palveluistaan 9. kesäkuuta 1999 Piet Berthema sai Alankomaiden leijonan ritarikunnan statuksen [4] . Muut CWI:n työntekijät saivat samanlaisia palkintoja: Lex Schreiver (Knight of the Order of the Lion [5] , 2005), Paul Klint ( Orange-Nassaun ritarikunnan upseeri [6] , 2013) jne.
Toisin kuin teoreettinen tietojenkäsittelytiede, laskennallinen matematiikka juurtui huonommin itse CWI:hen, mutta vuonna 1971 perustettiin erillinen tutkimuslaitos Academic Computing CenterAmsterdamin yliopiston ja Amsterdamin vapaan yliopiston yhteisillä ponnisteluilla. , joka keskittyy työskentelyyn supertietokoneiden ja erittäin tarkan visualisoinnin kanssa . Esimerkkejä CWI:ssä käynnissä olevasta tutkimuksesta, joka liittyy pitkään jatkuneisiin laajamittaisiin laskelmiin, ovat Hermann te Riehlén työ : vahvistus Riemannin hypoteesille zeta-funktion ensimmäisille 1,5 miljardille nollalle ; todiste Mertensin arvelun ; Skewes -luvun ylempi approksimaatio ; erityisen suurten lukujen tekijöihin jakaminen RSA-140 ja RSA-155 krakkauksessa .
1980-luvun puolivälistä lähtien Matematiikan ja tietojenkäsittelytieteen keskuksen tutkimus on tuottanut useita ohjelmointikieliä, erityisesti ABC , Alma-0 , SMIL ja Python , joista jälkimmäinen on levinnyt erityisen laajalle kansainvälisesti. Vastoin yleistä käsitystä Python ei ollut erillinen CWI-projekti, sen luoja Guido van Rossum loi ensimmäisen prototyypin vuoden 1989 joululoman aikana, koska hän ei ollut tyytyväinen ABC:n (joka oli virallinen CWI-projekti) käytännöllisyyteen [3] .
Tunnettu kryptografi David Chaum kuuluisan ruokailun kryptografiongelmansa myös työskennellessään Matematiikan ja tietojenkäsittelytieteen