Junto con Landis ideó en 1962 el árbol AVL, primer árbol binario autoajustable.