Nieuws
CWI publiceert regelmatig nieuwsberichten over onderzoek, onderwijs en de maatschappelijke impact van onderzoek. Naast nieuwsberichten publiceren we uitgebreidere verhalen over spraakmakend onderzoek of over CWI bijdragen aan het aanpakken van maatschappelijke vraagstukken.
Joost N. Kok bestuurslid Centrum voor Wiskunde en Informatica
De Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) heeft ingestemd met de benoeming van prof.dr. J.N. Kok tot lid van het bestuur van de Stichting Centrum voor Wiskunde en Informatica. Kok volgt prof.dr. …
Nieuwe onderzoekslijn life sciences voor Science Park Amsterdam
Het Science Park Amsterdam start een nieuwe onderzoekslijn op het gebied van de systeembiologie in de life sciences. Dit grensverleggende onderzoeksterrein - waarin biologen, natuurkundigen, wiskundigen en informatici samenwerken - is interessant …
Ruimtelijke toevalsprocessen: doolhoven, diffusie en bosbranden
De grillige beweging van een stuifmeelkorreltje in water en het bestaan van paden in een doolhof. Zo op het oog hebben ze weinig met elkaar te maken maar schijn bedriegt. Sinds kort …
NWO-Spinozapremie 2005 voor wiskundige Lex Schrijver
Aan de wiskundige prof.dr. Alexander Schrijver is de Spinozapremie 2005 toegekend. Dit werd vanochtend door de Nederlandse Organisatie voor Wetenschappelijk Onderzoek in Den Haag bekend gemaakt. Lex Schrijver (1948) is onderzoeker aan …
Lancering open source MonetDB/XQuery door CWI, Twente en Konstanz
Informatici van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam lanceren volgende week MonetDB/XQuery - een open source systeem, dat een complete implementatie van XQuery biedt. MonetDB/XQuery is gebouwd op het …
Wiskundigen ontwarren raadsel ineengedraaide touwtjes
Wie kent niet het verschijnsel van een telefoonsnoer dat zich steeds verder opkrult? Tot nu toe was de wiskundige beschrijving van dit type kronkels alleen bekend voor gesloten krommen, zoals elastiekjes. Onderzoeker …
Wiskundige technieken verbeteren softwarekwaliteit
Correcte software, dat is het doel van drie jonge onderzoekers van het Centrum voor Wiskunde en Informatica (CWI) te Amsterdam, die binnen één maand tijd promoveren op verificatie en model checking technieken. …
CWI-onderzoeker laat computers slimmer rekenen
Als je sneller wil rekenen met je computer kun je een betere processor en meer geheugen kopen. Maar je kunt ook slimmer rekenen. Marc van Raalte, onderzoeker aan het Centrum voor Wiskunde …
