Az elektronikus sz�m�t�g�pek logikai tervez�s�ben kiemelked� �rdemeket szerzett. 

Tan�csad�k�nt szerepelt az EDVAC – az els� olyan sz�m�t�g�p, amely a mem�ri�ban t�rolja a programot is – tervez�s�n�l 1944-t�l, amelyet 1952-ben helyeztek �zembe. 

Ennek a sz�m�t�g�pnek a tervez�se sor�n fejlesztette ki az elektronikus sz�m�t�g�pek bels� szervez�s�nek elm�let�t (Neumann-elv), amelynek alapj�n k�sz�lnek a mai sz�m�t�g�pek is.