DEGREES, EMPLOYMENT, STUDENTS, CONTACT

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

GOOGLE

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.

EMAIL

hmflogic@gmail.com