The (abbr. CWI; English: "National Research Institute for Mathematics and Computer Science") is a research centre in the field of
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
and
theoretical computer science
Theoretical computer science is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation.
It is difficult to circumscribe the theoretical areas precisely. The Associati ...
. It is part of the institutes organization of the
Dutch Research Council
The Dutch Research Council (NWO, Dutch: Nederlandse Organisatie voor Wetenschappelijk Onderzoek) is the national research council of the Netherlands. NWO funds thousands of top researchers at universities and institutes and steers the course o ...
(NWO) and is located at the
Amsterdam Science Park. This institute is famous as the creation site of the programming language
Python. It was a founding member of the European Research Consortium for Informatics and Mathematics (ERCIM).
Early history
The institute was founded in 1946 by
Johannes van der Corput,
David van Dantzig,
Jurjen Koksma,
Hendrik Anthony Kramers,
Marcel Minnaert
Marcel Gilles Jozef Minnaert (12 February 1893 – 26 October 1970) was a Belgian-Dutch astronomer. He was born in Bruges and died in Utrecht. He is notable for his contributions to astronomy and physics and for a popular book on meteorologic ...
and
Jan Arnoldus Schouten. It was originally called ''Mathematical Centre'' (in Dutch: ''Mathematisch Centrum''). One early mission was to develop mathematical prediction models to assist large Dutch engineering projects, such as the
Delta Works
The Delta Works () is a series of construction projects in the southwest of the Netherlands to protect a large area of land around the Rhine–Meuse–Scheldt delta from the sea. Constructed between 1954 and 1997, the works consist of dams, slu ...
. During this early period, the Mathematics Institute also helped with designing the wings of the
Fokker F27 Friendship airplane, voted in 2006 as the most beautiful Dutch design of the 20th century.
The computer science component developed soon after.
Adriaan van Wijngaarden, considered the founder of computer science (or ''informatica'') in the Netherlands, was the director of the institute for almost 20 years.
Edsger Dijkstra
Edsger Wybe Dijkstra ( ; ; 11 May 1930 – 6 August 2002) was a Dutch computer scientist, programmer, software engineer, mathematician, and science essayist.
Born in Rotterdam in the Netherlands, Dijkstra studied mathematics and physics and the ...
did most of his early influential work on algorithms and formal methods at CWI. The first Dutch computers, the
Electrologica X1 and
Electrologica X8, were both designed at the centre, and
Electrologica was created as a spinoff to manufacture the machines.
In 1983, the name of the institute was changed to Centrum Wiskunde & Informatica (CWI) to reflect a governmental push for emphasizing computer science research in the Netherlands.
Recent research
The institute is known for its work in fields such as
operations research
Operations research () (U.S. Air Force Specialty Code: Operations Analysis), often shortened to the initialism OR, is a branch of applied mathematics that deals with the development and application of analytical methods to improve management and ...
,
software engineering
Software engineering is a branch of both computer science and engineering focused on designing, developing, testing, and maintaining Application software, software applications. It involves applying engineering design process, engineering principl ...
, information processing, and mathematical applications in
life sciences
This list of life sciences comprises the branches of science that involve the scientific study of life – such as microorganisms, plants, and animals including human beings. This science is one of the two major branches of natural science, ...
and
logistics
Logistics is the part of supply chain management that deals with the efficient forward and reverse flow of goods, services, and related information from the point of origin to the Consumption (economics), point of consumption according to the ...
.
More recent examples of research results from CWI include the development of scheduling algorithms for the Dutch railway system (the
Nederlandse Spoorwegen
(, , NS ) is the principal passenger railway operator in the Netherlands. It is a Dutch state-owned company founded in 1938.
The rail infrastructure is maintained by network manager ProRail, which was split off from NS in 2003. Freight operato ...
, one of the busiest rail networks in the world) and the development of the
Python programming language
Python is a high-level, general-purpose programming language. Its design philosophy emphasizes code readability with the use of significant indentation.
Python is dynamically type-checked and garbage-collected. It supports multiple prog ...
by
Guido van Rossum
Guido van Rossum (; born 31 January 1956) is a Dutch programmer. He is the creator of the Python programming language, for which he was the " benevolent dictator for life" (BDFL) until he stepped down from the position on 12 July 2018. He ...
. Python has played an important role in the development of the
Google search platform from the beginning, and it continues to do so as the system grows and evolves.
Many information retrieval techniques used by packages such as
SPSS
SPSS Statistics is a statistical software suite developed by IBM for data management, advanced analytics, multivariate analysis, business intelligence, and criminal investigation. Long produced by SPSS Inc., it was acquired by IBM in 2009. Versi ...
were initially developed by Data Distilleries, a CWI
spinoff.
Work at the institute was recognized by national or international research awards, such as the
Lanchester Prize (awarded yearly by
INFORMS
The Institute for Operations Research and the Management Sciences (INFORMS) is an international society for practitioners in the fields of operations research
Operations research () (U.S. Air Force Specialty Code: Operations Analysis), often s ...
), the
Gödel Prize
The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Inter ...
(awarded by
ACM SIGACT) and the
Spinoza Prize. Most of its senior researchers hold part-time professorships at other Dutch universities, with the institute producing over 170 full professors during the course of its history. Several CWI researchers have been recognized as members of the
Royal Netherlands Academy of Arts and Sciences
The Royal Netherlands Academy of Arts and Sciences (, KNAW) is an organization dedicated to the advancement of science and literature in the Netherlands. The academy is housed in the Trippenhuis in Amsterdam.
In addition to various advisory a ...
, the
Academia Europaea
The Academia Europaea is a pan-European Academy of humanities, letters, law, and sciences.
The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europe ...
, or as knights in the
Order of the Netherlands Lion
The Order of the Netherlands Lion, also known as the Order of the Lion of the Netherlands (, ) is a Dutch honours system, Dutch order of chivalry founded by William I of the Netherlands on 29 September 1815.
The Order of the Netherlands Lion wa ...
.
In February 2017, CWI in association with
Google
Google LLC (, ) is an American multinational corporation and technology company focusing on online advertising, search engine technology, cloud computing, computer software, quantum computing, e-commerce, consumer electronics, and artificial ...
announced a successful
collision attack on
SHA 1 encryption algorithm.
European Internet
CWI was an early user of the
Internet
The Internet (or internet) is the Global network, global system of interconnected computer networks that uses the Internet protocol suite (TCP/IP) to communicate between networks and devices. It is a internetworking, network of networks ...
in Europe, in the form of a
TCP/IP
The Internet protocol suite, commonly known as TCP/IP, is a framework for organizing the communication protocols used in the Internet and similar computer networks according to functional criteria. The foundational protocols in the suite are ...
connection to
NSFNET
The National Science Foundation Network (NSFNET) was a program of coordinated, evolving projects sponsored by the National Science Foundation (NSF) from 1985 to 1995 to promote advanced research and education networking in the United States. The ...
.
Piet Beertema at CWI established one of the first two connections outside the United States to the NSFNET (shortly after France's
INRIA
The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on computer science and applied mathematics.
It was created under the name French Institute for Research in Comp ...
)
for
EUnet on 17 November 1988. The first Dutch
country code top-level domain
A country code top-level domain (ccTLD) is an Internet top-level domain generally used or reserved for a country, sovereign state, or dependent territory identified with a country code. All ASCII ccTLD identifiers are two letters long, and all tw ...
issued was cwi.nl.
When this domain cwi.nl was registered, on 1 May 1986,
.nl effectively became the first active
ccTLD
A country code top-level domain (ccTLD) is an Internet top-level domain generally used or reserved for a country, sovereign state, or dependent territory identified with a country code. All ASCII ccTLD identifiers are two letters long, and all tw ...
outside the
United States
The United States of America (USA), also known as the United States (U.S.) or America, is a country primarily located in North America. It is a federal republic of 50 U.S. state, states and a federal capital district, Washington, D.C. The 48 ...
. For the first ten years CWI, or rather Beertema, managed the .nl administration, until in 1996 this task was transferred to its spin-off SIDN.
The
Amsterdam Internet Exchange
The Amsterdam Internet Exchange (AMS-IX) is an Internet exchange point based in Amsterdam, in the Netherlands. Established in the early 1990s, AMS-IX is a non-profit, neutral and independent peering point.
History
In February 1994, a laye ...
(one of the largest Internet Exchanges in the world, in terms of both members and throughput traffic) is located at the neighbouring
SARA (an early CWI spin-off) and
Nikhef institutes. The
World Wide Web Consortium
The World Wide Web Consortium (W3C) is the main international standards organization for the World Wide Web. Founded in 1994 by Tim Berners-Lee, the consortium is made up of member organizations that maintain full-time staff working together in ...
(W3C) office for the Benelux countries is located at CWI.
Spin-off companies
CWI has demonstrated a continuing effort to put the work of its researchers at the disposal of society, mainly by collaborating with commercial companies and creating spin-off businesses. In 2000 CWI established "CWI Incubator BV", a dedicated company with the aim to generate high tech spin-off companies. Some of the CWI spinoffs include:
* 1956:
Electrologica, a pioneering Dutch computer manufacturer.
* 1971:
SARA (now called
SURF), founded as a center for data processing activities for
Vrije Universiteit Amsterdam
The (abbreviated as ''VU Amsterdam'' or simply ''VU'' when in context) is a public university, public research university in Amsterdam, Netherlands, founded in 1880. The VU Amsterdam is one of two large, publicly funded research universities in ...
,
Universiteit van Amsterdam, and the CWI.
* 1990:
DigiCash
DigiCash Inc. was an electronic money corporation founded by David Chaum in 1989. DigiCash transactions were unique in that they were anonymous due to a number of cryptographic protocols developed by its founder. DigiCash declared bankruptcy in ...
, an electronic money corporation founded by
David Chaum
David Lee Chaum (born 1955) is an American computer scientist, List of cryptographers, cryptographer, and inventor. He is known as a pioneer in cryptography and privacy-preserving technologies, and widely recognized as the inventor of Digital cur ...
.
* 1994:
NLnet
The NLnet Foundation supports organizations and people that contribute to an open information society. It was influential in spreading the Internet throughout Europe in the 1980s. In 1997, the foundation sold off its commercial networking operat ...
, an
Internet Service Provider
An Internet service provider (ISP) is an organization that provides a myriad of services related to accessing, using, managing, or participating in the Internet. ISPs can be organized in various forms, such as commercial, community-owned, no ...
.
* 1994: General Design / Satama Amsterdam, a design company, acquired by
LBi (then Lost Boys international).
* 1995: Data Distilleries, developer of analytical database software aimed at information retrieval, eventually becoming part of
SPSS
SPSS Statistics is a statistical software suite developed by IBM for data management, advanced analytics, multivariate analysis, business intelligence, and criminal investigation. Long produced by SPSS Inc., it was acquired by IBM in 2009. Versi ...
and acquired by
IBM
International Business Machines Corporation (using the trademark IBM), nicknamed Big Blue, is an American Multinational corporation, multinational technology company headquartered in Armonk, New York, and present in over 175 countries. It is ...
.
* 1996
Stichting Internet Domeinregistratie Nederland (SIDN) the
.nl top-level
domain registrar.
* 2000
Software Improvement Group (SIG) a software improvement and legacy code analysis company.
* 2008:
MonetDB
MonetDB is an open-source column-oriented relational database management system (RDBMS) originally developed at the Centrum Wiskunde & Informatica (CWI) in the Netherlands.
It is designed to provide high performance on complex queries against l ...
, a high-tech database technology company, developer of the MonetDB
column-store.
* 2008:
Vectorwise
Actian Vector (formerly known as VectorWise) is an SQL relational database management system designed for high performance in analytical database applications.
It published record breaking results on the Transaction Processing Performance Council ...
, an analytical database technology company, founded in cooperation with the
Ingres Corporation
Actian is an American software company headquartered in Santa Clara, California that provides analytics-related software, products, and services. The company sells database software and technology, cloud engineered systems, and data integra ...
(now
Actian
Actian is an American software company headquartered in Santa Clara, California that provides Analytics, analytics-related software, products, and services. The company sells database, database software and technology, Cloud computing, cloud en ...
) and eventually acquired by it.
* 2010
Spinque a company providing search technology for information retrieval specialists.
* 2013
MonetDB Solutions a database services company.
* 2016
Seita a technology company providing demand response services for the energy sector.
* 2021
DuckDB Labs a data processing company offering support and consulting services for DuckDB (a column-oriented RDBMS, designed for high performance on complex queries against large databases in embedded configurations).
Software and languages
*
ABC programming language
*
Algol 60
ALGOL 60 (short for ''Algorithmic Language 1960'') is a member of the ALGOL family of computer programming languages. It followed on from ALGOL 58 which had introduced code blocks and the begin and end pairs for delimiting them, representing a ...
*
Algol 68
ALGOL 68 (short for ''Algorithmic Language 1968'') is an imperative programming language member of the ALGOL family that was conceived as a successor to the ALGOL 60 language, designed with the goal of a much wider scope of application and ...
*
Alma-0, a
multi-paradigm
Programming languages can be grouped by the number and types of Programming paradigm, paradigms supported.
Paradigm summaries
A concise reference for the programming paradigms listed in this article.
* Concurrent programming language, Concurrent ...
computer
programming language
A programming language is a system of notation for writing computer programs.
Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer science), semantics (meaning), usually def ...
*
ASF+SDF Meta Environment, programming language specification and prototyping system, IDE generator
*
Cascading Style Sheets
*
DuckDB
*
MonetDB
MonetDB is an open-source column-oriented relational database management system (RDBMS) originally developed at the Centrum Wiskunde & Informatica (CWI) in the Netherlands.
It is designed to provide high performance on complex queries against l ...
*
NetHack
''NetHack'' is an open source single-player roguelike video game, first released in 1987 and maintained by the NetHack DevTeam. The game is a fork of the 1984 game ''Hack'', itself inspired by the 1980 game '' Rogue''. The player takes the role ...
*
Python programming language
Python is a high-level, general-purpose programming language. Its design philosophy emphasizes code readability with the use of significant indentation.
Python is dynamically type-checked and garbage-collected. It supports multiple prog ...
*
RascalMPL Rascal is a domain-specific language for metaprogramming and language oriented programming, such as static code analysis, program transformation, program generation and implementation of domain-specific languages. It is a general meta language in ...
, general purpose meta programming language
*
RDFa
RDFa or Resource Description Framework in Attributes is a W3C Recommendation that adds a set of attribute-level extensions to HTML, XHTML and various XML-based document types for embedding rich metadata within web documents. The Resource Descript ...
*
SMIL
*
van Wijngaarden grammar
*
XForms
XForms is an XML format used for collecting inputs from web forms. XForms was designed to be the next generation of HTML / XHTML forms, but is generic enough that it can also be used in a standalone manner or with presentation languages other tha ...
*
XHTML
Extensible HyperText Markup Language (XHTML) is part of the family of XML markup languages which mirrors or extends versions of the widely used HyperText Markup Language (HTML), the language in which Web pages are formulated.
While HTML, pr ...
*
XML Events
In computer science and web development, XML Events is a W3C standard for handling events that occur in an XML document. These events are typically caused by users interacting with the web page using a device, such as a web browser on a personal ...
Notable people
*
Karen Aardal
*
Richard Askey
*
Adrian Baddeley
*
Theo Bemelmans
*
Piet Beertema
*
Jan Bergstra
*
Gerrit Blaauw
*
Peter Boncz
*
Hugo Brandt Corstius
*
Stefan Brands
Stefan Brands is the designer of the core cryptographic protocols of Microsoft's U-Prove technology.
Business career
Following his academic research on these protocols during the nineties, they were implemented and marketed under the U-Pro ...
*
Andries Brouwer
*
Harry Buhrman
*
Dick Bulterman
*
David Chaum
David Lee Chaum (born 1955) is an American computer scientist, List of cryptographers, cryptographer, and inventor. He is known as a pioneer in cryptography and privacy-preserving technologies, and widely recognized as the inventor of Digital cur ...
*
Ronald Cramer
*
Theodorus Dekker
*
Edsger Dijkstra
Edsger Wybe Dijkstra ( ; ; 11 May 1930 – 6 August 2002) was a Dutch computer scientist, programmer, software engineer, mathematician, and science essayist.
Born in Rotterdam in the Netherlands, Dijkstra studied mathematics and physics and the ...
*
Ute Ebert
Ute M. Ebert is a German physicist known for her research on Plasma (physics), plasma physics and electric discharge in gases. She is a researcher in the Netherlands at the Centrum Wiskunde & Informatica, where she heads the research group on mul ...
*
Constance van Eeden
*
Peter van Emde Boas
*
Richard D. Gill
*
Piet Groeneboom
*
Jan Friso Groote
*
Dick Grune
*
Michiel Hazewinkel
*
Jan Hemelrijk
*
Martin L. Kersten
*
Willem Klein
*
Jurjen Ferdinand Koksma
*
Tom Koornwinder
*
Kees Koster
*
Monique Laurent
*
Gerrit Lekkerkerker
*
Arjen Lenstra
*
Jan Karel Lenstra
*
Gijsbert de Leve
*
Barry Mailloux
*
Massimo Marchiori
*
Lambert Meertens
*
Rob Mokken
*
Albert Nijenhuis
*
Steven Pemberton
*
Herman te Riele
*
Guido van Rossum
Guido van Rossum (; born 31 January 1956) is a Dutch programmer. He is the creator of the Python programming language, for which he was the " benevolent dictator for life" (BDFL) until he stepped down from the position on 12 July 2018. He ...
*
Alexander Schrijver
*
Jan H. van Schuppen
*
Marc Stevens
*
John Tromp
John Tromp is a Dutch computer scientist. He formerly worked for Dutch Centre for Mathematics and Computer Science. Tromp discovered the number of legal states of the board game Go, and co-authored with Bill Taylor the Tromp-Taylor Rules, which ...
*
John V. Tucker
*
Paul Vitányi
Paul Michael Béla Vitányi (born 21 July 1944) is a Dutch computer scientist, professor of computer science at the University of Amsterdam and researcher at the Dutch Centrum Wiskunde & Informatica.
Biography
Vitányi was born in Budapest to a ...
*
Hans van Vliet
*
Marc Voorhoeve
*
Adriaan van Wijngaarden
*
Ronald de Wolf
Ronald Michiel de Wolf (born 1973) is a Dutch Computer Scientist, currently a Senior Researcher at Centrum Wiskunde & Informatica (CWI) and a professor at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam ( ...
*
Peter Wynn
References
External links
*
{{DEFAULTSORT:Centrum Wiskunde Informatica
Amsterdam-Oost
Computer science institutes in the Netherlands
Edsger W. Dijkstra
Mathematical institutes
Members of the European Research Consortium for Informatics and Mathematics
Organisations based in Amsterdam
1946 establishments in the Netherlands
Research institutes in the Netherlands
Science and technology in the Netherlands