Nelson realizó contribuciones al área del álgebra universal con aplicaciones a la informática teórica.

Logró que su trabajo de tesis se publicara en el Canadian Journal of Mathematics, también en 1967.

Su tesis se tituló "La red de clases ecuacionales de semigrupos conmutativos", y las ideas también formaron un artículo publicado en el Canadian Journal of Mathematics.

[3]​ Tras terminar su doctorado, Nelson continuó en la Universidad McMaster.

[4]​ El historial docente de Nelson fue, según sus colegas, invariablemente del más alto nivel.