Navy attended the Massachusetts Institute of Technology 1971-1975, majoring in mathematics.
Navy attended graduate school at the University of Wisconsin-Madison, majoring in mathematics, with a minor in computer science.