David Nelson completed his undergraduate and graduate coursework at the University of Wisconsin - Madison in 1939 and 1940, respectively.
According to the Association for Symbolic Logic: Nelson's research was in the area of intuitionistic logic and its connection with recursive function theory.