(27 de julio de 1945) es un informático teórico estadounidense.