Grigori Efroim Mints

Background

Mints, Grigori Efroim was born on June 7, 1939 in Leningrad, Union of the Soviet Socialist Republics. Son of Efroim B. and Lea M. (Novick) Mints.

Education

Diploma, Leinigrad U., 1961; Doctor of Philosophy, Leinigrad U., 1965; Doctor of Science, Leinigrad U., 1989.

Career

Research associate, Steklov Institute Mathematics Leningrad, 1961-1979; with, Nauka Publications, Leningrad, 1979-1985; senior research associate, Institute Cybernetics, Tallinn, Estonia, 1985-1991; professor department philosophy, Stanford (California) U., since 1991. Member of advisory board Journal Symbolic Logic, 1987-1990. Member editorial board Jour.Symbolic Computation, 1983-1996, Journal of Functional Programming, 1990-1995.

Member program organization committee Logic in Computer Science, 1991-1994, Advanced Systems Limited meeting March 1997, Conference on Automated Deduction, Logic Programming and Automated Reasoning.

Achievements

• Grigori Efroim Mints has been listed as a noteworthy Specialist in mathematical logic by Marquis Who's Who.

Membership

Member Association Symbolic Logic (member county 1990-1993), International Union History and Philosophy and Science (assessor 1991-1995), Annals of Pure and Applied Logic (member editorial board 1980-1989). M C.

Connections

Married Maryanna Rozenfeld, July 21, 1987. 1 child, Anna.

Father:

Efroim B. Mints

Mother:

Lea M. (Novick) Mints

Spouse:

Maryanna Rozenfeld

child:

Anna Mints