Biography:Grigori Tseitin

From HandWiki
Revision as of 14:23, 18 May 2023 by Wincert (talk | contribs) (fixing)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Grigori Samuilovitsch Tseitin (Russian: Григорий Самуилович Цейтин, born 1936) is a Russian mathematician and computer scientist, who currently lives in the United States. He is best known for Tseitin transformation used in SAT solvers and for his work on Algol 68.[1]

Biography

Tseitin studied Mathematics and Mechanics at the State University of Leningrad (now Saint Petersburg State University) and graduated in 1960 with „Algorithmic Operators on Constructive Complete Separable Metric Spaces“.[2] In 1968 he received the Russian doctoral degree (corresponding to a habilitation) at the University of Leningrad. From 1969 to 2000 Tseitin worked at the Smirnov Scientific Research Institute of Mathematics and Mechanics.[3]

In 2006, Tseitin was recognized as a Distinguished Member by the ACM.[4]

Works

  • G. S. Tseitin. „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.

Weblinks

References

  1. ↑ A. van Wijngaarden, B.J. Mailloux, J.E.L. Peck, C.H.A. Koster, M. Sintzoff, C.H. Lindsey, L.G.T. Meertens, R.G.Fisker (1970). "Revised Report on the Algorithmic Language ALGOL 68" (in en) (PDF; 4,42 MB). http://www.softwarepreservation.org/projects/ALGOL/report/Algol68_revised_report-AB-600dpi.pdf. 
  2. ↑ Grigori Tseitin at the Mathematics Genealogy Project
  3. ↑ "St Petersburg State University / Mathematic-Mechanical Faculty / Smirnov Scientific Research Institute of Mathematics and Mechanics". http://www.istc.int/en/institute/10091. 
  4. ↑ "Dr. Gregory S Tseytin". https://awards.acm.org/award-winners/TSEYTIN_3894052. 




Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Grigori_Tseitin&oldid=2880288"