En los años sesenta trabajó en Instituto de Física Teórica y Experimental, donde desarrolló el árbol AVL.