Grigori Tseitin
From Wikipedia, the free encyclopedia
| Naissance | |
|---|---|
| Décès |
(à 85 ans) |
| Nationalités | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse | |
| Site web |
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].
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].
