Grigori Tseitin — Wikipédia

G. S. Tseitin

Biographie
Naissance	15 novembre 1936 Saint-Pétersbourg
Décès	27 août 2022 (à 85 ans)
Nationalités	soviétique américaine russe
Formation	Université d'État de Saint-Pétersbourg
Activités	Mathématicien, informaticien, professeur d'université

Autres informations
A travaillé pour	IBM (2000-2009) Université d'État de Saint-Pétersbourg (1969-2000)
Directeur de thèse	Andreï Markov
Site web	www.math.spbu.ru/user/tseytin

Grigori Samuilovitch Tseitin (en russe : Григорий Самуилович Цейтин), né le 15 novembre 1936 à Léningrad, URSS, décédé le 27 août 2022 à Campbell, Californie, États-Unis) est un mathématicien et informaticien russe, qui a déménagé aux États-Unis en 1999. Il est surtout connu pour la transformation de Tseitin utilisée dans les solveurs SAT (en), les tautologies Tseitin utilisées dans la théorie de la complexité de la preuve et pour ses travaux sur Algol 68^[1].

Biographie[modifier | modifier le code]

Tseitin étudie les mathématiques à l'Université d'État de Leningrad (aujourd'hui l'Université d'État de Saint-Pétersbourg) en 1951-1956. Il obtient son doctorat en 1960 avec une thèse sur les "Opérateurs algorithmiques sur des espaces métriques séparables complets constructifs"^[2]. En 1968, il obtient le doctorat russe (correspondant à une habilitation) de la même université. De 1960 à 2000, Tseitin travaille à l'Institut de recherche scientifique Smirnov en mathématiques et mécanique^[3] et enseigne des cours d'informatique à son alma mater.

En 2006, Tseitin est reconnu scientifique émérite par l'Association for Computing Machinery (ACM)^[4].

Publications[modifier | modifier le code]

G.S. Tseitin. "On the complexity of derivation in propositional calculus" dans: J. Siekmann et G. Wrightson, éditeurs, Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970, S. 466–483. Berlin, Heidelberg, 1983.

Liens externes[modifier | modifier le code]

Site officiel
Ressources relatives à la recherche :
- Digital Bibliography & Library Project
- Mathematics Genealogy Project
(en) « Persons: Tseitin Grigorii Samuilovich », Mathnet.ru (consulté le 25 décembre 2018)
(ru) « Григорий Самуилович Цейтин », Cshistory.nsu.ru (consulté le 25 décembre 2018)
(ru) « Деятели международного эсперанто-движения. Григорий Цейтин », Slavik.babil.komputilo.org (consulté le 25 décembre 2018)

Références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Grigori Tseitin » (voir la liste des auteurs).

↑ (en) 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, « Revised Report on the Algorithmic Language ALGOL 68 » [PDF; 4,42 MB], softwarepreservation.org, 1970 (consulté le 25 décembre 2018)
↑ (en) « Grigori Tseitin », sur le site du Mathematics Genealogy Project
↑ « St Petersburg State University / Mathematic-Mechanical Faculty / Smirnov Scientific Research Institute of Mathematics and Mechanics », Istc.int (consulté le 25 décembre 2018)
↑ « Dr. Gregory S Tseytin », awards.acm.org (consulté le 25 décembre 2018)

[1] (en) 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, « Revised Report on the Algorithmic Language ALGOL 68 » [PDF; 4,42 MB], softwarepreservation.org, 1970 (consulté le 25 décembre 2018)

[2] (en) « Grigori Tseitin », sur le site du Mathematics Genealogy Project

[3] « St Petersburg State University / Mathematic-Mechanical Faculty / Smirnov Scientific Research Institute of Mathematics and Mechanics », Istc.int (consulté le 25 décembre 2018)

[4] « Dr. Gregory S Tseytin », awards.acm.org (consulté le 25 décembre 2018)

[1]

[2]

[3]

[4]