Seymour Ginsburg

Введение

Американский ученый-компьютерщик Сеймур Гинзбург (12 декабря 1927 года - 5 декабря 2004 года) был американским пионером теории автоматов, теории формального языка и теории баз данных, в частности; и информатики в целом. Его работа оказала влияние на разграничение теоретической информатики от дисциплин математики и электротехники. За свою карьеру Гинзбург опубликовал более 100 статей и три книги по различным темам теоретической информатики.

Биография

Сеймур Гинзбург получил степень бакалавра в Городском колледже Нью-Йорка в 1948 году, где вместе с другим студентом Мартином Дэвисом он посещал класс по математике, преподаваемый Эмилем Постом. Он получил степень доктора философии. Доктор математики из Мичиганского университета в 1952 году, учился у Бена Душника. Профессиональная карьера Гинзбурга началась в 1951 году, когда он принял должность ассистента профессора математики в Университете Майами в Корал Гейблс, штат Флорида. Он полностью обратил свое внимание на информатику в 1955 году, когда переехал в Калифорнию, чтобы работать в корпорации Northrop. Затем он занял должности в корпорации National Cash Register Corporation, Hughes Aircraft и System Development Corporation. В СДК Гинзбург сначала сосредоточился на теории абстрактных машин. Впоследствии он сформировал и возглавил исследовательский проект, посвященный теории формального языка и основам компьютерных наук. В состав исследовательской группы входили: Шейла Грейбах, Майкл А. Харрисон, Джин Роуз, Эд Спэниер и Джо Уллиан. Работа, которая вышла из этой группы, отличала теорию компьютерных наук от других областей, поместив Гинзбург в центр того, что стало теоретическим сообществом компьютерных наук. В годы работы в SDC молодой Джефф Уллман провел одно лето, работая на Гинзбург, изучая как теорию формального языка, так и широкий подход к исследованиям в теории компьютерных наук. Аль Ахо считает, что лето Ульмана с Гинзбургом оказало большое влияние на карьеру Ахо в области компьютерных наук. В интервью Ахо вспомнил, что в Принстонском университете было мало компьютерных наук, пока он учился на докторскую степень. Однако после того, как Уллман вернулся из своего лета с Гинзбургом, Ахо заявил, что Уллман "в основном учил Хопкрофта и меня теории формального языка". Гинзбург присоединился к факультету Университета Южной Калифорнии в 1966 году, где он помог создать отдел информатики в 1968 году. В 1974 году он был удостоен стипендии Гуггенхайма и провел год, путешествуя по миру, читая лекции по областям теоретической информатики, которые он помог создать. В 1978 году Гинзбург был назначен первым профессором компьютерных наук Флетчера Джонса в USC, должность он занимал до выхода на пенсию в 1999 году. Он продолжил свою работу по теории формального языка и автоматам в 1970-х годах. В 1980-х годах в USC Гинзбург создал исследовательскую группу, посвященную теории баз данных. Он организовал первый PODS (Симпозиум по принципам систем баз данных) в Марина-дель-Рей в 1982 году и был движущей силой на конференции в 1990-х годах. Его почтили неожиданной сессией на PODS 1992 года по случаю его 64-го дня рождения. В его честь был создан праздничный бюллетень, отредактированный Джеффом Уллманом. Карьера Гинзбурга внезапно закончилась в 1999 году, когда у него диагностировали начало болезни Альцгеймера. Он ушел из активного преподавания и стал почетным профессором компьютерных наук в USC. Последние годы жизни он страдал от ухудшения здоровья и умер 5 декабря 2004 года. Гинзбург был тепло вспомнен в мемориале, опубликованном в журнале ACM SIGMOD Record Его работа в теории автоматов привела к тому, что община теоретиков перешла в более теоретическое направление. Эта работа завершилась публикацией книги о математике машин в 1962 году. В 1960-х годах Гинзбург обратил свое внимание на теорию формального языка. Он изучал контекстные свободные грамматики и опубликовал известный всеобъемлющий обзор контекстно-свободных языков в 1966 году. Гинзбург первым заметил связь между языками, свободными от контекста, и языками "подобными ALGOL". Это привело к тому, что область теории формального языка стала влиять на исследования языков программирования. Результаты Гинзбурга по контексту свободных грамматик и отталкивают приемников считаются одними из самых глубоких и красивых в этом районе. Они остаются стандартными инструментами для многих специалистов в области компьютерных наук, работающих в области формальных языков и автоматов. В 1974 году Гинзбург вместе с Армином Б. Кремером разработал теорию грамматических форм. В 1980-х годах Гинзбург стал одним из первых пионеров в области теории баз данных. Он продолжал работать в этой области до выхода на пенсию. Его профессиональные вклады охватывали такие разнообразные темы, как функциональная зависимость, история объектов, история электронных таблиц, Datalog и реструктуризация данных.

Seymour Ginsburg received his B. S. from City College of New York in 1948, where along with fellow student Martin Davis he attended an honors mathematics class taught by Emil Post. He earned a Ph. D. in Mathematics from the University of Michigan in 1952, studying under Ben Dushnik. Ginsburg's professional career began in 1951 when he accepted a position as assistant professor of mathematics at the University of Miami in Coral Gables, Florida. He turned his attention wholly towards computer science in 1955 when he moved to California to work for the Northrop Corporation. He followed this with positions at the National Cash Register Corporation, Hughes Aircraft, and System Development Corporation. At SDC, Ginsburg first concentrated on the theory of abstract machines. He subsequently formed and led a research project dedicated to formal language theory and the foundations of Computer Science. Members of the research group included: Sheila Greibach, Michael A. Harrison, Gene Rose, Ed Spanier, and Joe Ullian. The work that came out of this group distinguished Computer Science theory from other fields, putting Ginsburg at the center of what became the theoretical Computer Science community. It was during the SDC years that a young Jeff Ullman spent one summer working for Ginsburg, learning both formal language theory and a broad approach to research in computer science theory. Al Aho credited Ullman's summer with Ginsburg as being highly influential on Aho's career in Computer Science. In an interview, Aho recalled that there was little Computer Science at Princeton University while he was studying for his PhD. However, after Ullman returned from his summer with Ginsburg, Aho stated that Ullman "essentially taught Hopcroft, and me, formal language theory". Ginsburg joined the faculty of University of Southern California in 1966 where he helped to establish the Computer Science department in 1968. He was awarded a Guggenheim Fellowship in 1974 and spent the year touring the world, lecturing on the areas of theoretical Computer Science which he had helped to create. Ginsburg was named the first Fletcher Jones Professor of Computer Science at USC in 1978, a chair he held until his retirement in 1999. He continued his work on formal language theory and automata through the 1970s. At USC in the 1980s, Ginsburg created a research group dedicated to database theory. He organized the first PODS (Symposium on Principles of Database Systems) in Marina del Rey in 1982 and was a moving force at the conference into the 1990s. He was honored with a surprise session at the 1992 PODS on the occasion of his 64th birthday. A festschrift edited by Jeff Ullman was created in his honor for the occasion. Ginsburg's career ended suddenly in 1999 when he was diagnosed with the onset of Alzheimer's disease. He retired from active teaching and became Professor Emeritus of Computer Science at USC. He spent his last years in declining health until dying on December 5, 2004. Ginsburg was remembered fondly in a memorial published in the ACM SIGMOD Record His work in automata theory led the switching theory community into a more theoretical direction. This work culminated in the publication of a book on the mathematics of machines in 1962. Ginsburg turned his attention to formal language theory in the 1960s. He studied context free grammars and published a well known comprehensive overview of context free languages in 1966. Ginsburg was the first to observe the connection between context free languages and "ALGOL like" languages. This brought the field of formal language theory to bear on programming language research. Ginsburg's results on context free grammars and push down acceptors are considered to be some of the deepest and most beautiful in the area. They remain standard tools for many computer scientists working in the areas of formal languages and automata. In 1974, Ginsburg, along with Armin B. Cremers, developed the theory of Grammar Forms. In the 1980s, Ginsburg became an early pioneer in the field of Database Theory. He continued to work in this field until his retirement. His professional contributions spanned subjects as diverse as functional dependency, object histories, spreadsheet histories, Datalog, and data restructuring.