Grigori Mints

Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician who worked in mathematical logic.

from Leningrad State University with a thesis entitled "Proof Transformations and Synthesis of Programs".

[2] Since 1991, Grigori "Grisha" Mints was a professor of philosophy and, by courtesy, of mathematics and of computer science at Stanford University.

Before joining Stanford, Mints held research positions at the Steklov Mathematical Institute, Leningrad University, and the Estonian Academy of Sciences.

Considered one of the most distinguished logicians in the world, Mints was passionate about the applications of logic to philosophy.