Grigori Samuilowitsch Zeitin

Grigori Samuilowitsch Zeitin (russisch Григорий Самуилович Цейтин, wiss. Transliteration Grigorij Samuilovič Cejtin; * 1936) ist ein russischer Mathematiker und Informatiker, der heute in den Vereinigten Staaten lebt.

Biographie

Zeitin studierte Mathematik und Mechanik an der Staatlichen Universität Leningrad (heute Staatliche Universität St. Petersburg) und promovierte dort 1960 über „Algorithmic Operators on Constructive Complete Separable Metric Spaces“. 1968 erhielt er den russischen Doktorgrad (entsprechend einer Habilitation) an der Universität Leningrad. Von 1969 bis 2000 war Zeitin am Smirnov Scientific Research Institute of Mathematics and Mechanics tätig.

In den 1990er Jahren zog Zeitin in die Vereinigten Staaten und arbeitete von Dezember 2000 bis 2009 bei IBM. Seit 2009 arbeitet er als Researcher und Visiting Scholar an der Stanford University.

2006 wurde Zeitin als Distinguished Member durch die ACM ausgezeichnet.

Seit September 2017 ist Zeitin Sekretär der San Francisco Esperanto Regional Organization (SFERO).

Arbeiten

Der Name von Zeitin ging in die Lehrbücher über formale Logik ein, weil er die Zeitin-Transformation entwickelt hat.

Zeitin leistete einen Beitrag zur Entwicklung der Programmiersprache Algol 68.

Schriften

• G. S. Zeitin. „On the complexity of derivation in propositional calculus“ in: J. Siekmann and G. Wrightson, editors, Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970, S.466–483. Berlin, Heidelberg, 1983.