Grigori Tseitin
Grigori Samuilovitsch Tseitin | |
|---|---|
| Born | November 15, 1936 Leningrad, USSR |
| Died | August 27, 2022 (aged 85) Campbell, Ca, USA |
| Known for | Tseitin transformation |
| Scientific career | |
| Fields | Mathematics, Computer science |
| Thesis | Algorithmic Operators on Constructive Complete Separable Metric Spaces (1960) |
| Doctoral advisor | Andrei Andreevich Markov |
Grigori Samuilovitsch Tseitin (Russian: Григорий Самуилович Цейтин, born November 15, 1936 in Leningrad, USSR, deceased August 27, 2022 in Campbell, CA, USA) was a Russian mathematician and computer scientist, who moved to the United States in 1999. He is best known for Tseitin transformation used in SAT solvers, Tseitin tautologies used in the proof complexity theory, and for his work on Algol 68.