1956-1960: Peabody High School, Peabody, KS.
1960-1965: University of Kansas, Lawrence, KS. BA, Mathematics.
1965-1970: University of Wisconsin, Madison, WI. MS, PhD, Computer Sciences.
1970-1977: Assistant Professor of Computer Sciences, University of Texas, Austin, TX.
1973-1974: Research Scientist. Information Sciences Institute, University of Southern California, Marina del Rey, CA.
1978-1987: Associate Director, Institute for Computing Science and Computer Applications, University of Texas, Austin, TX.
1982-1994: Director, Verdix Corporation, Chantilly, VA. (Verdix merged in 1994 with Rational Software Corporation. In 2002 Rational Software was acquired by IBM Corporation.)
1987-1995: President, Chairman, Computational Logic, Inc. Austin, TX. (The automatic theorem proving research done by CLInc continues at UT Austin.)
1996-2002: Exploring home and small business computing, financial management, family history, and history of computing.
2002-2004: Adjunct Professor of Computer Sciences, University of Texas, Austin, TX.
2004-Present: Family History Research, 1 dg Place.