Onderzoek

We doen baanbrekend onderzoek op het gebied van wiskunde en informatica, genereren nieuwe kennis en dragen deze over aan de industrie en de samenleving.

Ons onderzoek is georganiseerd in 15 onderzoeksgroepen. Zij richten zich de komende jaren op vier onderzoeksgebieden:

Algoritmes: de digitalisering en alomtegenwoordigheid van computers brengt nieuwe uitdagingen en kansen mee voor algoritmes.
Data en Intelligente Systemen: de groei van data en de toegenomen complexiteit van processen vragen om oplossingen op het gebied van data management en intelligente autonome systemen.
Cryptografie en digitale veiligheid: hoe groter de toename van de digitalisering van de samenleving, hoe belangrijker het is dat de beveiliging en privacy van alle digitale informatie en de verwerking hiervan gegarandeerd is.
Quantum computing: de ontwikkeling van quantum computer hardware vereist zowel de ontwikkeling van quantum computing algorithms als quantum computing software.

De 15 onderzoeksgroepen (ENG) van CWI doen onderzoek binnen deze focusgebieden.

Binnen deze thema's organiseren onze onderzoekers regelmatig Research Semester Programmes, in samenwerking met collega's van de Nederlandse Universiteiten.

Onderzoeksthema's

CWI richt zich de komende jaren op vier fundamentele onderzoeksgebieden.

CWI Algemeen 20 10 04-094

Algorithms and Complexity

De Algorithms and Complexity (A&C) groep ontwerpt kwantumsoftware voor toekomstige kwantumcomputers, en gebruikt daarbij fundamenteel andere technieken en benaderingen op basis van superpositie, interferentie en verstrengeling.

algorithms-and-complexity

Computational Imaging

Ontwikkeling van de volgende generatie 3D-beeldvorming – waardoor wetenschappers verder kunnen kijken in allerlei soorten objecten.

computational-imaging

Computer Security

Door uit te gaan van een fundamentele benadering van security engineering, bouwen we aan vertrouwen. We onderzoeken hoe we computationele omgevingen kunnen beveiligen tegen krachtige bedreigingen, waarbij we veiligheidsgaranties zoals privacy, integriteit en correctheid, formeel modelleren.

headerbeeld-CSY-01-highres

Cryptology

Wij onderzoeken hoe cryptologische methoden kunnen bijdragen aan het oplossen van beveiligingsproblemen, bijvoorbeeld door middel van encryptie, digitale handtekeningen en veilige berekeningen.

Cryptologic

Database Architectures

Een toonaangevende onderzoeksgroep op het gebied van datasystemen, actief in het brede domein van data(beheer)systemen en infrastructuur ter ondersteuning van datawetenschap.

database-architectures

Distributed and Interactive Systems

Wij faciliteren en verbeteren de manier waarop mensen toegang krijgen tot media en de manier waarop ze communiceren met anderen en hun omgeving — op terreinen zoals draagbare technologie en slimme textiel, immersieve media, talen en infrastructuren.

CWI Algemeen 2022 09 29-015

Evolutionary Intelligence

We ontwerpen biologisch geïnspireerde, zelflerende systemen en passen deze toe om complexe problemen in de praktijk op te lossen.

evolutionary-intelligence

Human-Centered Data Analytics

De Human-Centered Data Analytics (HCDA)-groep focust op mensgerichte, verantwoorde AI in cultuur en media om inclusieve digitale systemen te waarborgen die diversiteit bevorderen en desinformatie tegengaan.

human-centered-data-analytic-lr

Intelligent and Autonomous Systems

We onderzoeken algemene mechanismen die verklaren hoe verschillende niveaus van organisatie, intelligentie en autonomie ontstaan in complexe systemen, en passen deze kennis toe op concrete, maatschappelijk relevante vraagstukken.

intelligent-and-autonomous-systems

Machine Learning

De Machine Learning (ML) groep onderzoekt hoe computerprogramma's kunnen leren van data en hoe ze inzicht krijgen in data. Op basis daarvan willen we bruikbare voorspellingen doen, met behulp van inzichten uit de statistiek en neurowetenschappen.

machine-learning

Multiscale Dynamics

We combineren wetenschappelijk computergebruik met modelreductie en machine learning, met bijzondere aandacht voor plasmadynamica in hoogspanningstechnologie, plasmatechnologie en bliksem.

multiscale-dynamics

Networks and Optimization

We ontwikkelen algoritmen voor het oplossen van complexe optimalisatieproblemen en grootschalige data-analyse, door technieken uit de wiskunde en informatica te combineren.

networks-and-optimization

Scientific Computing

De Scientific Computing (SC) groep onderzoekt en ontwikkelt wiskundige methoden waarmee je reële situaties met inherente onzekerheden kunt simuleren en voorspellen, gericht op toepassingen op het gebied van klimaat en energie.

scientific-computing

Software Analysis and Transformation

SWAT bestudeert softwaresystemen: hun ontwerp, hun constructie en hun onvermijdelijke evolutie. Onze missie is om softwaresystemen te leren begrijpen en hun kwaliteit te verbeteren. We richten ons op complexiteit als het belangrijkste kwaliteitskenmerk van softwaresystemen.

software-analysis-and-transformation

Stochastics

Stochastics (ST) ontwikkelt en bestudeert probabilistische, operationele en statistische modellen om communicatie-, energie-, informatie-, logistieke en transportsystemen te modelleren, te beschrijven en te verbeteren.

stochastics