Dr Gregory Tseytin was an outstanding mathematician and computer scientist. This site is a tribute to his work, his ideas, and to his life.