17 feb. 1999
1 minuut
De beroemde informaticus Leslie Lamport (Microsoft Corporation, VS) zal op donderdag 16 juni spreken op het Centrum Wiskunde & Informatica in Amsterdam. Lamport is bekend van zijn werk op het gebied van gedistribueerde systemen en programmaverificatie. Ook is hij de ontwerper van het bekende LaTeX systeem, 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 zogenoemde 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.
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 XG Amsterdam. Abstract: http://www.cwi.nl/events/lecture-leslie-lamport-microsoft-corporation
Anderen lazen ook
