Ph.D.

• Department of Computer Science, University of Iowa, Iowa City, IA 52242, USA
  Thesis: Formal Specification in Object-Oriented Software Construction
  May 1991

Master of Science

• Department of Computer Science, University of Iowa, Iowa City, IA 52242, USA
  May 1988

Bachelor of Science

• Department of Computer Science, Truman State University, Kirksville, MO 63501, USA
  Dec. 1984