Grigori Tseitin
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].
| Naissance | |
|---|---|
| Décès |
(à 85 ans) |
| Nationalités | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeur de thèse | |
| Site web |
Biographie
modifierTseitin é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
- Site officiel
- Ressources relatives à la recherche :
- (en) « Persons: Tseitin Grigorii Samuilovich », Mathnet.ru (consulté le )
- (ru) « Григорий Самуилович Цейтин », Cshistory.nsu.ru (consulté le )
- (ru) « Деятели международного эсперанто-движения. Григорий Цейтин », Slavik.babil.komputilo.org (consulté le )
Références
modifier- (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 )
- (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 )
- « Dr. Gregory S Tseytin », awards.acm.org (consulté le )
