Current Biographical Statements: BIOS,073017-2i35kbw
Massachusetts Institute of Technology
Ph.D., Mathematics, 1967. Subsystems of Analysis and Set Theory.
(Holds no high school, undergraduate or masters certificates).
Stanford University
Assistant Professor of Philosophy 1967-1969
Associate Professor of Philosophy with tenure 1969-1973
University of Wisconsin at Madison
Associate Professor of Mathematics with tenure 1970-1971
State University of New York at Buffalo
Visiting Professor of Mathematics 1972-1973
Professor of Mathematics 1973-1977
The Ohio State University
Professor of Mathematics 1977 –
Professor of Computer Science (adjunct) 1985 –
Professor of Philosophy (adjunct) 1985 –
Professor of Music (adjunct) 1991 – 2000
Distinguished University Professor 1987 – 2012
Distinguished University Professor of Mathematics, Philosophy, and Computer Science, Emeritus 2012 –
Pennsylvania State University
Visiting Professor of Mathematics 3/81 – 6/81
University of Minnesota
Visiting Ordway Professor of Mathematics 3/15 5-4/15/86
Princeton University
Visiting Professor of Philosophy 9/02 – 2/03
IBM
Visiting Scientist, San Jose, California 7/83 – 8/83
Visiting Scientist, Yorktown Heights 8/84 – 9/84
BELL LABS
Visiting Scientist, Murray Hill, New Jersey 5/84
Consultant, Mountain View, California 7,8/08
JOHN TEMPLETON FOUNDATION
Consultant, 2007 – 2011
Member, Board of Advisors, 2009 – 2012
UNIVERSITY OF GHENT, GHENT, BELGIUM
Institutional Honorary Doctarate, September 4, 2013
PRINCIPAL RESEARCH AREA
Foundations of Mathematics.
ADDITIONAL RESEARCH AREAS
Philosophy of Mathematics, Software Verification, Interactive Educational Technology, Computational Complexity, Piano Recording Technology, Piano Performance Theory and Practice.
Ph.D. STUDENTS
1. Michael Beeson, Stanford University, 1972, Ph.D.
2. John Hutchinson Stanford University, 1974, Ph.D.
3. Robert Wolf, Stanford University, 1974, Ph.D.
4. Robert Byerly, SUNY at Buffalo, 1979, Ph.D.
5. Ker-I Ko, The Ohio State University, 1979, Ph.D.
6. Tianwen Ling, The Ohio State University, 1992, Ph.D.
7. Ying-Tyng Leou, The Ohio State University, 1993, Ph.D.
Several Ph.D. students in the Ohio State University Computer Science Department, formally with Bruce Weide, whose theses relate to the implementation of algorithms and software specifications of mine.
MASTERS STUDENTS
1. Salvatore Florio, The Ohio State University, 2010, Masters in Mathematics. Thesis concerns Logic in the Universal Domain. Florio also obtained a Ph.D. in Philosophy from OSU.
2. Alex Rosenfeld, The Ohio State University, 2012, Masters in Mathematics.
hmflogic@gmail.com