[PWC-MEDIA] Persbericht CWI: Leslie Lamport spreekt op Centrum Wiskunde & Informatica
- From: Annette Kik <Annette.Kik@xxxxxx>
- To: Krzysztof Apt <k.r.apt@xxxxxx>
- Date: Thu, 9 Jun 2011 16:33:40 +0200 (CEST)
Persbericht Centrum Wiskunde & Informatica (CWI)
9 juni 2011
Leslie Lamport spreekt op Centrum Wiskunde & Informatica
De beroemde informaticus Leslie Lamport (Microsoft Corporation, USA) zal op
donderdag 16 juni spreken op het Centrum Wiskunde & Informatica (CWI) in
Amsterdam. Lamport is bekend van zijn werk op het gebied van gedistribueerde
systemen en programmaverificatie. Ook is hij de bedenker van het programma
LaTeX, dat veel wordt gebruikt om wetenschappelijke teksten op te maken. Zijn
lezing, die om 16.00 uur begint, is getiteld ‘The PlusCal Algorithm Language’.
Volgens Lamport moeten algoritmen beschreven worden in een wiskundige taal,
zoals PlusCal. De lezing is onder meer interessant voor software engineers.
Algoritmen verschillen van computerprogramma’s. Zij kunnen niet beschreven
worden door programmeertalen maar bijvoorbeeld wel door wiskundige objecten
zoals verzamelingen en grafen. Tot nu toe was het enige eenvoudige alternatief
zogenaamde pseudo-code. Deze informele, vrije programmeertaal beschrijft op een
begrijpelijke en ondubbelzinnige manier wat er in computerprogramma’s moet
gebeuren. Doordat de taal niet vast gedefinieerd is kan pseudo-code echter niet
gecompileerd en uitgevoerd worden. Lamport stelt nu PlusCal voor, een
algoritmetaal die gebaseerd is op TLA+ (Temporal Logic of Actions). Een PlusCal
algoritme wordt automatisch vertaald naar een TLA+ specificatie, die kan worden
gecontroleerd door de TLC model checker. PlusCal maakt pseudo-code overbodig.
Leslie Lamport heeft verschillende fundamentele bijdragen geleverd aan
gedistribueerde systemen, fault-tolerant computing, cryptografie en
programmaverificatie. Voor zijn onderzoek ontving Lamport talrijke
onderscheidingen, waaronder de IEEE John von Neumann Medaille. Het Centrum
Wiskunde & Informatica doet ook onderzoek in programmaverificatie. Het is
onderdeel van 'Software as Service' - een van de speerpunten van het CWI.
Centrum Wiskunde & Informatica (CWI)
Het Centrum Wiskunde & Informatica (CWI) is sinds 1946 het nationale
onderzoeksinstituut voor wiskunde en informatica. Het is gevestigd op het
Science Park Amsterdam en is deel van de Nederlandse Organisatie voor
Wetenschappelijk Onderzoek (NWO). Het instituut heeft een sterke internationale
positie. Ruim 150 wetenschappers doen er grensverleggend onderzoek en dragen de
verkregen kennis over aan de maatschappij. Vierendertig onderzoekers zijn
hoogleraar aan een universiteit. Het instituut heeft 21 spin-off bedrijven
voortgebracht.
---
Noot voor de pers (niet voor publicatie):
- De lezing van Leslie Lamport begint op donderdag 16 juni 2011 om 16.00 uur in
de Turingzaal op het Centrum Wiskunde & Informatica (CWI), Science Park 123,
1098 SJ Amsterdam. Pers graag aanmelden via de communicatieadviseurs: Annette
Kik, Annette.Kik@xxxxxx, tel. 06-51574891 (ma-do) en Karin Blankers, tel.
06-24221105.
- Inhoudelijke informatie: prof. dr. Krzysztof Apt (CWI en UvA), e-mail
K.R.Apt@xxxxxx, tel. 020-592 4057. Abstract:
http://www.cwi.nl/events/lecture-leslie-lamport-microsoft-corporation
- Behandeld door: Annette Kik, wetenschapsvoorlichter Centrum Wiskunde &
Informatica, Annette.Kik@xxxxxx, tel. 06-51574891 of bgg 06-24221105. Centrum
Wiskunde & Informatica, Science Park 123, 1098 XG Amsterdam, www.cwi.nl.
Other related posts:
- » [PWC-MEDIA] Persbericht CWI: Leslie Lamport spreekt op Centrum Wiskunde & Informatica - Annette Kik
