Grigori Tseitin

Grigori Tseitin's Academic­Influence.com Rankings

Grigori Tseitin

Computer Science

#8432

World Rank

#8865

Historical Rank

computer-science Degrees

Download Badge

• Computer Science

Grigori Tseitin's Degrees

• PhD Computer Science Stanford University
• Masters Computer Science Stanford University
• Bachelors Computer Science Stanford University

Similar Degrees You Can Earn

• Best Online PhD of Computer Science (Doctorates) 2026
• Best Online Master's in Computer Science
• 10 Fastest Accelerated Online Bachelor's of Computer Science
• Best Online Bachelor's in Computer Science 2026

Why Is Grigori Tseitin Influential?

According to Wikipedia, Grigori Samuilovitsch Tseitin 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.

Other Resources About Grigori Tseitin

• en.wikipedia.org
• www.math.spbu.ru

What Schools Are Affiliated With Grigori Tseitin?

Grigori Tseitin is affiliated with the following schools:

• University of California, Berkeley
• Stanford University
• Saint Petersburg State University