Centrum voor Wiskunde en Informatica
CWI's onderzoek wordt beschreven in fact sheets (Engelstalig), zie
www.cwi.nl/research.
---
Vertakking bliksem wiskundig verklaard
Onderzoekers van het Centrum voor Wiskunde en Informatica (CWI) in
Amsterdam hebben ontdekt hoe elektrische ontladingen zoals bliksem
zich vertakken. Zij hebben aangetoond dat het verschijnsel direct
volgt uit het eenvoudigste wiskundige model van een ontlading. Tot nu
toe werd aangenomen dat dit niet mogelijk was. Het werk van Manuel
Arrayas, Ute Ebert en Willem Hundsdorfer verschijnt op 6 mei 2002 in
het internationale toptijdschrift Physical Review Letters. De theorie
is ook van toepassing op de onlangs waargenomen 'opwaartse bliksem':
ontladingen van een donderwolk naar de veel hoger gelegen ionosfeer,
die plaatsvinden op een veel grotere schaal dan de gewone bliksem naar
de grond, en zich nog veel sterker blijken te vertakken.
Voor meer informatie, zie het complete persbericht in pdf-formaat (met
illustraties), of in HTML-formaat.
---
Benoemingen Ebert en Rutten tot hoogleraar
Met ingang van 1 december 2001 is Jan Rutten benoemd tot bijzonder
hoogleraar 'Grondslagen van de Informatica', in het bijzonder de
coalgebra, bij de Faculteit der Exacte Wetenschappen van de Vrije
Universiteit Amsterdam. Jan Rutten werkt sinds 1985 op het CWI en
sinds 1996 als groepsleider van de onderzoeksgroep Coordinatietalen.
Deze groep richt zich op het ontwikkelen van formele methoden voor het
ontwerpen van - en redeneren over - computerprogrammatuur. Op de VU
wil Jan Rutten coalgebraische technieken gebruiken bij het redeneren
over computerprogramma's die opgebouwd zijn uit voorafgegeven
bouwstenen (componenten). Dit sluit goed aan bij CWI's
`component-based software engineering'.