Grigori Samuilovitch Tseitin (en russe : Григорий Самуилович Цейтин), né le à Léningrad, URSS, décédé le à 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].

G. S. Tseitin
une illustration sous licence libre serait bienvenue
Biographie
Naissance
Décès
Voir et modifier les données sur Wikidata (à 85 ans)
Nationalités
Formation
Activités
Autres informations
A travaillé pour
Directeur de thèse
Site web

Biographie

modifier

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
  • 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

Références

modifier
(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).
  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, (consulté le )
  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 )
  4. « Dr. Gregory S Tseytin », awards.acm.org (consulté le )