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 __NOTOC__ Amsterdam Science Park is a science park in the Oost borough of Amsterdam, Netherlands with foci on physics, mathematics, information technology and the life sciences. The 70 hectare (175 acre) park provides accommodations for science, ...

. This institute is famous as the creation site of the programming language

Python Python may refer to: Snakes * Pythonidae, a family of nonvenomous snakes found in Africa, Asia, and Australia ** ''Python'' (genus), a genus of Pythonidae found in Africa and Asia * Python (mythology), a mythical serpent Computing * Python (prog ...

. 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 Johannes Gaultherus van der Corput (4 September 1890 – 13 September 1975) was a Dutch mathematician, working in the field of analytic number theory. He was appointed professor at the University of Fribourg (Switzerland) in 1922, at the Universi ...

David van Dantzig David van Dantzig (September 23, 1900 – July 22, 1959) was a Dutch mathematician, well known for the construction in topology of the solenoid. He was a member of the Significs Group. Biography Born to a Jewish family in Amsterdam in 1900, D ...

Jurjen Koksma Jurjen Ferdinand Koksma (21 April 1904, Schoterland – 17 December 1964, Amsterdam) was a Dutch mathematician who specialized in analytic number theory. Koksma received his Ph.D. degree (''cum laude'') in 1930 at the University of Gronin ...

Hendrik Anthony Kramers Hendrik Anthony "Hans" Kramers (17 December 1894 – 24 April 1952) was a Dutch physicist who worked with Niels Bohr to understand how electromagnetic waves interact with matter and made important contributions to quantum mechanics and statistica ...

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 Jan Arnoldus Schouten (28 August 1883 – 20 January 1971) was a Dutch mathematician and Professor at the Delft University of Technology. He was an important contributor to the development of tensor calculus and Ricci calculus, and was one of the ...

. 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 The Fokker F27 Friendship is a turboprop airliner developed and manufactured by the Dutch aircraft manufacturer Fokker. It is the most numerous post-war aircraft manufactured in the Netherlands; the F27 was also one of the most successful Europe ...

airplane, voted in 2006 as the most beautiful Dutch design of the 20th century. The computer science component developed soon after.

Adriaan van Wijngaarden Adriaan "Aad" van Wijngaarden (2 November 1916 – 7 February 1987) was a Dutch mathematician and computer scientist. Trained as a mechanical engineer, Van Wijngaarden emphasized and promoted the mathematical aspects of computing, first in numeri ...

, 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 The Electrologica X1 was a digital computer designed and manufactured in the Netherlands from 1958 to 1965. About thirty were produced and sold in the Netherlands and abroad. The X1 was designed by the Mathematical Centre in Amsterdam, an acade ...

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 ...

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 The Frederick W. Lanchester Prize is an Institute for Operations Research and the Management Sciences prize (U.S. $5,000 cash prize and medallion) given for the best contribution to operations research and the management sciences published in Engli ...

(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 ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science. It was founded in 1968 by Patrick C. Fischer. Publi ...

) and the

Spinoza Prize The Spinoza Prize () is an annual award of 1.5 million euro prize money, to be spent on new research given by the Dutch Research Council (NWO). The award is the highest scientific award in the Netherlands. It is named after the philosopher Baruc ...

. 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 In cryptography, a collision attack on a cryptographic hash tries to find two inputs producing the same hash value, i.e. a hash collision. This is in contrast to a preimage attack where a specific target hash value is specified. There are roughly ...

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 Piet Beertema (born 22 October 1943 in Amsterdam) is a Dutch List of Internet pioneers, Internet pioneer. On November 17, 1988, at 2:28 PM, he linked the Netherlands as one of the first two countries (shortly after France's French Institute for R ...

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 EUnet was a very loose collaboration of individual European UNIX sites in the 1980s that evolved into the fully commercial entity EUnet International Ltd in 1996. It was sold to Qwest in 1998. EUnet played a decisive role in the adoption of TCP/I ...

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 Sara may refer to: People * Sara (given name), a feminine given name People with the given name * Sara Aboobacker (1936–2023), Indian writer and translator * Sara Ahmed (born 1969), British-Australian writer * Sara Allgood (1880–1950), Ir ...

(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:

(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 The University of Amsterdam (abbreviated as UvA, ) is a public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlands still in operati ...

, 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

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 A domain name registrar is a company, person, or office that manages the reservation of Internet domain names. A domain name registrar must be accredited by a generic top-level domain (gTLD) registry or a country code top-level domain (ccTLD) r ...

. * 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 Alma-0 is a multi-paradigm computer programming language. This language is an augmented version of the imperative Modula-2 language with logic-programming features and convenient backtracking ability. It is small, strongly typed, and combines co ...

, 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 ASF may refer to: Arts and entertainment * Alabama Shakespeare Festival, a drama festival * ''Asimov's Science Fiction'', a U.S.-based English-language science fiction magazine containing SF stories Science and technology Biological * A ...

, programming language specification and prototyping system, IDE generator * Cascading Style Sheets *

DuckDB DuckDB is an open-source column-oriented Relational Database Management System (RDBMS). It is designed to provide high performance on complex queries against large databases in embedded configuration, such as combining tables with hundreds of ...

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 ...

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 SMIL or Smil may refer to: *SMIL (computer), a Swedish first-generation computer *Synchronized Multimedia Integration Language, a www-standard markup language for multimedia presentations, including playlists and animated SVGs *Vaclav Smil (born 194 ...

van Wijngaarden grammar In computer science, a Van Wijngaarden grammar (also vW-grammar or W-grammar) is a formalism for defining formal languages. The name derives from the formalism invented by Adriaan van Wijngaarden for the purpose of defining the ALGOL 68 programmi ...

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 Karen I. Aardal (born 1961) is a Norwegian and Dutch applied mathematician, theoretical computer scientist, and operations researcher. Her research involves combinatorial optimization, integer programming, approximation algorithms, and facility lo ...

Richard Askey Richard Allen Askey (June 4, 1933 – October 9, 2019) was an American mathematician, known for his expertise in the area of special functions. The Askey–Wilson polynomials (introduced by him in 1984 together with James A. Wilson) are on the ...

Adrian Baddeley Adrian John Baddeley (born May 25, 1955) is a statistical scientist working in the fields of spatial statistics,A. Baddeley, E. Rubak and R.Turner, "Spatial Point Patterns: Methodology and Applications with R", Chapman and Hall/CRC Press 2015. st ...

* Theo Bemelmans *

Jan Bergstra Johannes Aldert "Jan" Bergstra (born 1951) is a Dutch computer scientist. His work has focused on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algeb ...

Gerrit Blaauw Gerrit Anne "Gerry" Blaauw (17 July 1924 – 21 March 2018) was a Dutch computer scientist, known as one of the principal designers of the IBM System/360 line of computers, together with Fred Brooks, Gene Amdahl, and others.

Peter Boncz Peter Boncz is a Dutch computer scientist specializing in database systems. He is a researcher at the Centrum Wiskunde & Informatica and professor at the Vrije Universiteit Amsterdam in the special chair of Large-Scale Analytical Data Manageme ...

Hugo Brandt Corstius Hugo Brandt Corstius (29 August 1935 – 28 February 2014) was a Dutch author, known for his achievements in both literature and science. In 1970, he was awarded a PhD on the subject of computational linguistics. He was employed at the Mathemat ...

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 Andries Evert Brouwer (born 1951) is a Dutch mathematician and computer programmer, Professor Emeritus at Eindhoven University of Technology (TU/e). He is known as the creator of the greatly expanded 1984 to 1985 versions of the roguelike compute ...

Harry Buhrman Harry Buhrman (born 1966) is a Dutch computer scientist, currently Chief Scientist Quantum Algorithms & Innovation at Quantinuum. He previously was ''Professor of algorithms, complexity theory, and quantum computing'' at the University of Amsterd ...

* Dick Bulterman *

Ronald Cramer Ronald John Fitzgerald Cramer (born 3 February 1968 in Haarlem) is a professor at the Centrum Wiskunde & Informatica (CWI) in Amsterdam and the University of Leiden. He obtained his PhD from the University of Amsterdam in 1997. Prior to returning ...

Theodorus Dekker Theodorus Jozef Dekker (Dirk Dekker, 1 March 1927 - 25 November 2021) was a Dutch mathematician. Dekker completed his Ph.D. degree from the University of Amsterdam in 1958. His thesis was titled "Paradoxical Decompositions of Sets and Spaces". ...

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 Richard David Gill (born 1951) is a British-Dutch mathematician. He has held academic positions in the Netherlands. As a List of mathematical probabilists, probability theorist and statistician, Gill has researched counting processes. He is als ...

Piet Groeneboom Petrus (Piet) Groeneboom (born 24 September 1941 in Scheveningen) is a Dutch statistician who made major advances in the field of shape-constrained statistical inference such as isotonic regression, and also worked in probability theory. Educati ...

Jan Friso Groote Jan Friso Groote (born April 13, 1965, in Doetinchem) is a Dutch computer scientist. Education Groote studied computer science at Twente University obtaining his master's degree in 1988 under supervision of Ed Brinksma. He obtained his PhD ...

Dick Grune Dick Grune is a Dutch computer scientist and university lecturer best known for inventing and developing the first version of the Concurrent Versions System (CVS). Grune was involved in the construction of Algol 68 compilers in the 1970s and the A ...

Michiel Hazewinkel Michiel Hazewinkel (born 22 June 1943) is a Dutch mathematician, and Emeritus Professor of Mathematics at the Centre for Mathematics and Computer Science and the University of Amsterdam, particularly known for his 1978 book ''Formal groups and a ...

* Jan Hemelrijk * Martin L. Kersten * Willem Klein *

Jurjen Ferdinand Koksma Jurjen Ferdinand Koksma (21 April 1904, Schoterland – 17 December 1964, Amsterdam) was a Dutch mathematician who specialized in analytic number theory. Koksma received his Ph.D. degree (''cum laude'') in 1930 at the University of Gronin ...

* Tom Koornwinder *

Kees Koster Cornelis Hermanus Antonius "Kees" Koster (13 July 1943 – 21 March 2013) was a Dutch computer scientist who was a professor in the Department of Informatics at the Radboud University Nijmegen in the Netherlands. Born in Haarlem, his family move ...

Monique Laurent Monique Laurent (born 1960) is a French computer scientist and mathematician who is an expert in mathematical optimization. She is a researcher at the Centrum Wiskunde & Informatica in Amsterdam where she is also a member of the Management Team. ...

Gerrit Lekkerkerker Cornelis Gerrit Lekkerkerker (Harmelen, 7 February 1922 – 24 July 1999) was a Dutch mathematician. Education and career Lekkerkerker studied mathematics at Utrecht University during the periods 1940-1943 and 1945-1949 under Jurjen Koksma and J ...

Arjen Lenstra Arjen Klaas Lenstra (born 2 March 1956, in Groningen) is a Dutch mathematician, cryptographer and computational number theorist. He is a professor emeritus from the École Polytechnique Fédérale de Lausanne (EPFL) where he headed of the Labora ...

Jan Karel Lenstra Jan Karel Lenstra (born 19 December 1947, in Zaandam) is a Dutch mathematician and operations researcher, known for his work on scheduling algorithms, local search, and the travelling salesman problem. Lenstra received his Ph.D. from the Univers ...

Gijsbert de Leve Gijsbert "Gijs" de Leve (15 August 1926 – 19 November 2009) was a Dutch mathematician and operations researcher, known for his work on Markov decision process. Gijs de Leve is considered the founder of operations research in the Netherlands. ...

* Barry Mailloux *

Massimo Marchiori Massimo Marchiori (Padua, 1970) is an Italian people, Italian mathematician and computer scientist. Biography In July, 2004, he was awarded the TR35 prize by Technology Review (the best 35 researchers in the world under the age of 35). He is P ...

Lambert Meertens Lambert Guillaume Louis Théodore Meertens or L.G.L.T. Meertens (born 10 May 1944, in Amsterdam) is a Dutch computer scientist and professor. , he is a researcher at the Kestrel Institute, a nonprofit computer science research center in Palo Al ...

Rob Mokken Robert Jan (Rob) Mokken (born 28 April 1929) is a Dutch political scientist and Emeritus Professor of Political Science and Methodology at the University of Amsterdam. Biography Born in Batavia, Dutch East Indies, Mokken began his studies at the ...

Albert Nijenhuis Albert Nijenhuis (November 21, 1926 – February 13, 2015) was a Dutch-American mathematician who specialized in differential geometry and the theory of deformations in algebra and geometry, and later worked in combinatorics. His high school st ...

Steven Pemberton Steven Pemberton is a researcher affiliated with the Distributed and Interactive Systems group at the Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. He was one of ...

Herman te Riele Hermanus Johannes Joseph te Riele (born 5 January 1947) is a Dutch mathematician at CWI in Amsterdam with a specialization in computational number theory. He is known for proving the correctness of the Riemann hypothesis for the first 1.5 billio ...

Alexander Schrijver Alexander (Lex) Schrijver (born 4 May 1948 in Amsterdam) is a Dutch mathematician and computer scientist, a professor of discrete mathematics and optimization at the University of Amsterdam and a fellow at the Centrum Wiskunde & Informatica in Am ...

Jan H. van Schuppen Jan Hendrik van Schuppen (born 6 October 1947) is a Dutch mathematician and Professor at the Department of Mathematics of the Vrije Universiteit, known for his contributions in the field of systems theory, particularly on control theory and syste ...

* 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 Marc Voorhoeve (5 April 1950, Amsterdam – 7 October 2011, Eindhoven) was a Dutch mathematician who introduced the Voorhoeve index of a complex function in 1976. Career Marc studied at the University of Leiden where he wrote a thesis on exponen ...

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