Grigori Efroimovich Mints

MathSciNet


Ph.D. St. Petersburg State University 1965 Russia
Dissertation: On Predicate and Operator Variants for Building Theories of Constructive Mathematics
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Nikolai Aleksandrovich Shanin

D.Sc. Leningrad State University 1988 Russia
Dissertation: Proof Transformations and Synthesis of Programs
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Unknown

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Alama, JesseStanford University2009
Babaev, AliKishinev State University1985
Buchholtz, UlrikStanford University2013
Fahmi, MustafaSt. Petersburg State University1972
Fernandez, DavidStanford University2008
Pliuskevicius, RegimantasSteklov Institute of Mathematics19676
Rogava, MemedSteklov Institute of Mathematics1968
Shirahata, MasaruStanford University1994
Soloviev, SergeiSteklov Institute of Mathematics19846
Tupailo, SergeiStanford University1998

According to our current on-line database, Grigori Mints has 10 students and 22 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 41775 for the advisor ID.