Background
Meyer, Robert Kenneth Son of Frank August and Helen Marie Meyer.
Meyer, Robert Kenneth Son of Frank August and Helen Marie Meyer.
Bachelor, Lehigh University, Bethlehem, PA., 1953. Bachelor's Degree, Princeton Theological Seminary, Princeton, New Jersey, 1956. Master of Arts, University Pittsburgh.
Doctor of Philosophy, University Pittsburgh, 1966.
Minister Vincentown-Buddtown Methodist Churches, Vincentown, New Jersey, 1954—1955. Assistant minister Union Congressional Church, Upper Montclair, 1956—1957. Assistant professor philosophy & Math WVU, Rice U, Bryn Mawr C, Morgantown, Pennsylvania, 1965—1969.
Associate professor philosophy Indiana University, Bloomington, 1969—1974, Toronto, 1969—1975, University Pittsburgh, 1969—1975. Pdf, senior fellow, professor, logic Australia, 1974—1997. Research director automated reasoning project Australian National University, 1985—1991, visiting fellow, info science & engineering, since 1998.
Research director automated reasoning project Australian National University, 1985—1991.
Married Bette Jane Gottschalk, June 26, 1954 (div. April 0, 1963); 1 child B. Gail Varney. Married Barbara Lee Edwards, May 29, 1963 (div.
May 1974); children: Robert Kenneth, Nancy Louise Hawkins, Bo, Thomas Jay, Vandy Lynn, William Frank, Maria Helene, Gisela Evelyn Edwards Conechado, Judy Lee Herzog, Norman Carl Middleton, Dorothy Kay.