Grigori Mints

Professor of Philosophy, Professor of Mathematics. Studies proof theory and its varied applications to mathematics and computer science. Noted for far-reaching extensions of Hilbert's epsilon-substitution method. Contributions to fields of modal logic, dynamical topological logic, constructive mathematics, finding efficient approaches to proof-checking, and the foundational issues in mathematics. Recent work devoted to logical issues that have a bearing on philosophy and the humanities. Prolific author, translator, and editor of books, collections, and reviews in the field of logic.