Biography:Grigori Tseitin
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
- "Persons: Tseitin Grigorii Samuilovich" (in en). http://www.mathnet.ru/eng/person29896.
- "Григорий Самуилович Цейтин" (in ru). http://cshistory.nsu.ru/?el=1861&int=VIEW&templ=INTERFACE.
- "Деятели международного эсперанто-движения. Григорий Цейтин" (in ru). http://slavik.babil.komputilo.org/bio/cejtin.html.
References
- ↑ 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.
- ↑ Grigori Tseitin at the Mathematics Genealogy Project
- ↑ "St Petersburg State University / Mathematic-Mechanical Faculty / Smirnov Scientific Research Institute of Mathematics and Mechanics". http://www.istc.int/en/institute/10091.
- ↑ "Dr. Gregory S Tseytin". https://awards.acm.org/award-winners/TSEYTIN_3894052.
 |
