Az Abel-díjas matematikus munkássága kiemelkedő eredményének nevezte, hogy sikerült összekapcsolnia a matematika és a számítógép-tudomány klasszikus és új területeit.