He earned a bachelor's degree in mathematics and philosophy from the University of Northern Colorado and a Ph.D. in mathematics at the University of Connecticut. His current research interests are in mathematical logic and computability theory.