Op dinsdag 10 oktober zal emeritus hoogleraar Prof.dr. Edsger Dijkstra een lezing geven op het CWI. Dijkstra is wereldberoemd geworden door zijn bijdragen aan de informatica, met name met zijn ideeën over gestructureerd programmeren. Deze ideeën worden inmiddels in vrijwel alle programmeertalen toegepast. De lezing van Dijkstra is getiteld: 'On avoiding avoidable case analyses'. Deze begint om 16.00 uur op het CWI, Kruislaan 413 te Amsterdam.
Edsger Dijkstra was van 1952 tot 1962 in dienst van het CWI, toen nog Mathematisch Centrum geheten. Daarna was hij verbonden aan de Technische Universiteit Eindhoven en de University of Texas in Austin, USA. Hij heeft veel onderscheidingen gekregen, waaronder de Turing Award van ACM (1972), het equivalent van de 'Nobelprijs voor informatica'. Lezers van Computable kozen hem tot 'Nederlandse IT-persoonlijkheid van het millennium'.
Abstract van de lezing
On avoiding avoidable case analyses
Since brevity is an essential virtue of proofs and programs (and will always be so) and case analyses tend to lengthen them, avoiding case analysis is (and will remain) a central issue in mathematical methodology and the methodology of programming. With a series of small examples we’ll illustrate various techniques for case analysis reduction. They should make us understand why counting arguments can be so effective and why they are applicable.
