Professor Dijkstra, born in 1930, studied mathematics and theoretical physics in Leyden and got his Ph.D. in Computing Science in 1959 in Amsterdam. He worked there at the Mathematical Centre from 1952 until 1962, when he became Full Professor of Mathematics in Eindhoven. He was Burroughs Research Fellow from 1973 until his immigration to the USA in 1984, when he was appointed the Schlumberger Centennial Chair in Computer Sciences at UT-Austin. He has done pioneering work in algorithms, compilers, implementation, operating systems, multiprogramming, synchronization, self-stabilization, semantics and programming methodology. He is a Distinguished Fellow of the British Computer Society, ACM Fellow, Member of the Royal Netherlands Academy of Arts and Sciences, 1972 recipient of the ACM Turing Award and Foreign Honorary Member of the American Academy of Arts and Sciences. His current research interests focus on the formal derivation of proofs and programs and the streamlining of the mathematical argument in general.