Zoekresultaten voor ‘Universiteit’

Koninklijke onderscheiding voor Paul Klint

CWI Lectures georganiseerd ter ere van wiskundige Lex Schrijver

Ter ere van wiskundige en Spinozaprijswinnaar Lex Schrijver organiseert het Centrum Wiskunde & Informatica (CWI) in Amsterdam op donderdag 25 april de CWI Lectures 2013: de 'CWI Lexures'. Schrijver is wereldwijd een autoriteit op het gebied van discrete wiskunde en optimalisatie. Bij het grote publiek verwierf hij niet alleen bekendheid door de optimalisatie van het Nederlandse spoorboekje maar ook door zijn optredens in Paradiso, Nemo en op popfestival Lowlands. De onderzoeker, die naast zijn aanstelling op het CWI als hoogleraar verbonden is aan de Universiteit van Amsterdam, zal na zijn pensionering in mei 2013 aan het CWI verbonden blijven als CWI Fellow.   Collega’s roemen Lex Schrijver om zijn baanbrekende en innovatieve onderzoek en om zijn bescheiden en aimabele persoonlijkheid. Hoofdspreker Martin Groetschel, President van het Konrad-Zuse-Zentrum fuer Informationstechnik in Duitsland schrijft: "In addition to his exceptional research results Lex Schrijver has produced outstanding monographs on combinatorics and optimization. They have shaped these fields and will stand the test of time." Hoofdspreker László Lovász van de Eötvös Lórand University in Boedapest voegt daaraan toe: "Lex Schrijver is my very old friend. (...) He is also the mathematician I have most joint papers with, and we are always looking forward to opportunities to work together.  (...) To start a new research topic with Lex, and share his knowledge and insight, has always been a fascinating time." Foto: Sprekers CWI Lexures 2013, v.l.n.r. László Lovász, Martin Groetschel, Lex Schrijver, Leo Kroon, Willem Haemers en Dion Gijswijt.

Gunnar Klau benoemd tot bijzonder hoogleraar aan de VU

Per 1 juli 2012 is Gunnar Klau benoemd als bijzonder hoogleraar op de leerstoel 'Bioinformatics and Operations Research' aan de Vrije Universiteit Amsterdam. De leerstoel wordt gedeeld tussen FEWEB en de Faculteit der Exacte Wetenschappen (FEW).

Europees project start onderzoek naar nieuwe kwantumtoepassingen

Op 1 oktober gaat het Europese onderzoeksproject Quantum Computer Science (QCS) van start, waarin een Europees consortium zich zal richten op onderzoek naar toepassingen van kwantummechanische informatica. Het consortium staat onder leiding van Andris Ambainis van de universiteit van Riga (Letland) en bestaat uit acht Europese onderzoeksinstituten* waaronder het Centrum Wiskunde & Informatica (CWI).

Veilig elektronisch communiceren zonder sleutel

Robbert de Haan (CWI) promoveert op 11 maart in de wiskunde aan de Universiteit Leiden op zijn proefschrift 'Algebraic Techniques for Low Communication Secure Protocols'.

Bert Zwart hoogleraar bij de VU

CWI-onderzoeker Bert Zwart is vanaf 1 januari aangesteld als hoogleraar 'toegepaste stochastische processen' bij de Vrije Universiteit Amsterdam. Hij zal er onderzoek doen, college geven en afstudeerders begeleiden.

Peter Grünwald benoemd tot hoogleraar in Leiden

CWI-onderzoeker Peter Grünwald is per 1 november benoemd tot hoogleraar Statistisch Leren bij het Mathematisch Instituut van de Universiteit Leiden.

Op CWI ontwikkeld spoorboekje bekroond

De dienstregeling van de Nederlandse Spoorwegen (NS) heeft de prestigieuze Franz Edelman Award gewonnen. Deze prijs voor toegepast onderzoek werd maandag in Baltimore (VS) toegekend aan een team van onderzoekers van de NS, Erasmus Universiteit in Rotterdam, University of Padova (Italië) en het Centrum Wiskunde & Informatica (CWI). De software die het nieuwe spoorboekje in 2006 berekende werd geschreven door Lex Schrijver en Adri Steenbeek van het CWI.

Leen Stougie benoemd tot hoogleraar Operations Research

CWI-onderzoeker Leen Stougie is per 1 november benoemd tot hoogleraar Operations Research aan de Vrije Universiteit Amsterdam.

Krysztof R. Apt benoemd tot CWI Fellow

Met vreugde melden we dat Krzysztof R. Apt benoemd is tot CWI Fellow op 1 april 2008. Deze titel wordt gegeven aan markante leden van CWI's onderzoeksstaf. Het geeft hen volle vrijheid in onderzoek. Apt heeft een uitstekende staat van dienst. Op het CWI zit hij in de onderzoeksgroep Algorithms, Combinatorics and Optimization. Daarnaast is hij professor bij het Institute of Logic, Language and Computation van de Universiteit van Amsterdam. In 2006 is hij benoemd tot lid van de Academia Europæa. Ook is hij oprichter en hoofdredacteur van ACM Transactions in Computational Logic.

Experts onthullen zwakke plek in internetbeveiliging

Onderzoekers van het Centrum Wiskunde & Informatica in Amsterdam, EPFL in Zwitserland en de Technische Universiteit Eindhoven en onafhankelijke security-onderzoekers in Californië hebben een zwakke plek gevonden in de internetbeveiliging.

Dick C.A. Bulterman benoemd tot hoogleraar Distributed Multimedia Languages and Infrastructures

Op 1 maart jl. is Dick Bulterman benoemd tot hoogleraar Distributed Multimedia Languages and Infrastructures aan de Vrije Universiteit Amsterdam (VU). Bulterman zal gaan werken in de Business, Web and Media onderzoeksgroep van de afdeling Informatica van de Faculteit der Exacte Wetenschappen. Zijn onderzoek concentreert zich op de ontwikkeling van synchronisatie talen en interactieve infrastructuren ter ondersteuning van een breed gebied van dynamisch verspreidbare multimedia-toepassingen op mobiele en persoonlijke apparaten. Ook zal hij aan de VU Mastercursussen gaan ontwikkelen.

CWI wint Oscar onder de Innovatieprijzen

Bij de ontwikkeling van de dienstregeling van de Nederlandse Spoorwegen (NS) komt een groot aantal complexe wiskundige berekeningen om de hoek kijken. Een team van onderzoekers van het Centrum Wiskunde & Informatica (CWI), de NS, Erasmus Universiteit Rotterdam (EUR) en het Italiaanse softwarebedrijf Double Click, won vorige maand de prestigieuze Franz Edelman Award voor hun wiskundige algoritmen voor de dienstregeling. Vandaag ontving het CWI uit handen van Leo Kroon (NS Reizigers) de officiële versierselen.

Veilige en efficiënte software voor liften

Kunnen de deuren van een lift openen terwijl deze beweegt? Hoe moet de lift aangestuurd worden om zo goed en zo snel mogelijk passagiers te vervoeren? Om veilig en efficiënt te zijn moet besturingssoftware heel goed gecontroleerd worden. Dit gebeurt bijvoorbeeld met Model Checking. Anton Wijs, onderzoeker van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam, hoopt op dit onderwerp op 2 oktober 2007 aan de Vrije Universiteit te promoveren.

Nieuwe technieken om software te actualiseren

Het actualiseren van software is cruciaal voor de kwaliteit, klanttevredenheid en veiligheid van een product. Het is ook een duur en foutgevoelig proces. Informaticus Tijs van der Storm, van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam, onderzocht hoe software-updates geautomatiseerd kunnen worden in de context van component-based software - software die uit een veelvoud van componenten is opgebouwd. Van der Storm zal zijn proefschrift Component-Based Configuration, Integration and Delivery op 20 november 2007 verdedigen aan de Universiteit van Amsterdam.

Efficiëntere combinaties van webdiensten door mobiele kanalen

Met het software concept 'mobiele kanalen' kunnen diensten op het web efficiënter en flexibeler gecombineerd worden. Hoe mobiele kanalen werken wordt beschreven door Juan V. Guillen Scholten van het Centrum voor Wiskunde en Informatica (CWI) in zijn proefschrift 'Mobile Channels for Exogenous Coordination of Distributed Systems', waarop hij op woensdag 10 januari 2007 aan de Universiteit Leiden hoopt te promoveren.

Coördinatiesoftware structureert plugin chaos

Hoe ga je om met uitbreidingen van software die je niet zelf hebt geschreven, zoals plugins? Wat doe je als deze plugins elkaar tegenspreken? Wie wint? Nu is er vaak willekeur. De ToolBus coördinatiesoftware kan de chaos structureren door als een componentlijm op te treden, aldus Hayco de Jong van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam. Op donderdag 1 februari 2007 hoopt hij op zijn proefschrift 'Flexible Heterogeneous Software Systems' aan de Universiteit van Amsterdam (UvA) te promoveren.

Vici-subsidie voor wiskundige fundamenten van privacy

Aan wiskundige Ronald Cramer is door de Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO) een Vici-subsidie toegekend voor zijn onderzoek naar de wiskundige fundamenten van privacy beschermende berekeningen, ofwel 'secure computation'. Cramer is hoofd van de onderzoeksgroep Cryptology and Information Security op het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam en is daarnaast als hoogleraar verbonden aan het Mathematisch Instituut van de Universiteit Leiden.

Betere planning treinen met wiskundige modellen

Betere planningen voor het spoor door de inzet van wiskundige modellen - dit beschrijft Gabor Maroti van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam in zijn proefschrift, waarop hij op 12 april 2006 aan de Technische Universiteit Eindhoven (TU/e) promoveert. Maroti onderzocht verschillende optimaliseringsprogramma's voor de planning van rijdend materieel op korte en middellange termijn. Daarbij keek hij zowel naar efficiency als robuustheid (het bestand zijn tegen verstoringen) en het serviceniveau voor de klanten - hun kans op een zitplaats.

Zelf-gelijkvormigheid lastig te verklaren

Veel fysische verschijnselen zien er op elke schaal hetzelfde uit: hoe ver je ook inzoomt, de vorm van een slakkenhuis blijft steeds gelijk, hetzelfde geldt voor brandhaarden. Dat heet zelf-gelijkvormig. Rachel Brouwer onderzocht bij het Centrum voor Wiskunde en Informatica (CWI) of de zelf-gelijkvormigheid in de natuur wiskundig verklaard kan worden en richtte zich daarbij vooral op modellen van zogeheten zelf-organiserende kritische systemen. Zij promoveert op 6 oktober aan de Vrije Universiteit in Amsterdam.

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 Bob Planqué van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam bestudeerde het gedrag van gedraaide touwtjes met losse uiteindes. Op 7 april promoveert hij aan de Technische Universiteit Eindhoven (TU/e).

Wiskundige simuleert zenuwontwikkeling

Hoe groeien zenuwcellen tijdens de ontwikkeling van het zenuwstelsel? Johannes Krottje van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam modelleerde deze groei en maakte een flexibel simulatiepakket - AGTools - voor biologen en hersenonderzoekers. Op 17 november promoveert hij aan de Universiteit van Amsterdam op het proefschrift getiteld 'On the numerical solution of diffusion systems with localized, gradient-driven, moving sources'.

Sneller en goedkoper aanpassen van broncode met nieuwe taaltechnologie

Broncode van software kan sneller en goedkoper worden aangepast aan de eisen van deze tijd door het gebruik van 'generieke taaltechnologie'. Deze methode kan automatisch taken uitvoeren die onderhoudsprogrammeurs tot nu toe met de hand moesten doen. Jurgen Vinju, onderzoeker van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam, promoveert op dit onderwerp op 15 november aan de Universiteit van Amsterdam, op het proefschrift 'Analysis and Transformation of Source Code by Parsing and Rewriting'.

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 kunnen wiskundige theorieën over deze onderwerpen samengevoegd worden, met toepassingen op onverwachte gebieden. Rob van den Berg, onderzoeker van het Centrum voor Wiskunde en Informatica (CWI) in Amsterdam, spreekt hierover in zijn inaugurele rede op woensdag 15 juni om 15.45 uur als hoogleraar in de Ruimtelijke stochastiek aan de Vrije Universiteit Amsterdam. Zijn oratie is getiteld 'Kans en Ruimte'.

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 het Centrum voor Wiskunde en Informatica te Amsterdam. Daarnaast is hij als deeltijdhoogleraar verbonden aan de Universiteit van Amsterdam. Schrijver ontvangt de prestigieuze prijs, die ook wel de Nederlandse Nobelprijs wordt genoemd, voor zijn voortreffelijke, baanbrekende en inspirerende onderzoek op het gebied van combinatoriek en algoritmiek.