[2] His research interests included abstract algebra, number theory, group schemes, and the history of mathematics.
[6] He then received perfect 800 scores on three different college board Achievement Tests, those for English Composition, for Chemistry, and for advanced Mathematics,[6] a feat that the Associated Press filed a story about and that ran in a number of newspapers around the country.
[11] After graduating from Harvard College with a bachelor's degree summa cum laude and being elected to Phi Beta Kappa, Waterhouse continued at Harvard Graduate School of Arts and Sciences where he received a master's degree.
[12] He then received his Ph.D. in 1968 from Harvard for his thesis Abelian Varieties over Finite Fields under the supervision of John Tate.
[5] In 1980 he married Betty Ann Senk, a doctoral student and teacher in comparative literature at Penn State.
[16] Telegraphic Reviews characterized the work as a "fairly intuitive and accessible" development of the topic, suitable for second-year graduate students.
[4] Waterhouse twice won the Lester R. Ford Award of the Mathematical Association of America, given to authors of articles of expository excellence.
[24] The latter has been characterized as "a historical and mathematical detective story" that investigated an aspect of the correspondence between Carl Friedrich Gauss and Sophie Germain, a French mathematician who used a pseudonym to disguise the fact that she was a woman.