section_heading: Život
paragraph_text: Izvorno zaposlen od strane Mathematisch Centruma u Amsterdamu, obnašao je dužnost profesora na Sveučilištu tehnologije u Eindhovenu u Nizozemskoj, radio kao istraživač za Burroughs Corporation u ranim 1970-im, te kasnije preuzeo poziciju Schlumberger Centennial Chair računalnih znanosti u sveučilištu Texasa u Austinu, u SAD-u. Umirovljen je 2000.