એકસાથે અમેરિકન વૈજ્ઞાનિક ક્લાઉડે શેનોન સાથે, તેમણે આધુનિક કોમ્પ્યુટર વિજ્ઞાન સિદ્ધાંત વિકસાવે છે.