Тим Тейтельбаум - Tim Teitelbaum

Тим Тейтельбаум
Родившийся
Рэй Тейтельбаум

(1943-04-12) 12 апреля 1943 г. (возраст 77)
Альма-матерМассачусетский Институт Технологий (SB)
Университет Карнеги Меллон (Кандидат наук)
Научная карьера
УчрежденияКорнелл Университет (1973-2010)
GrammaTech (1988-настоящее время)
Institut National de Recherche en Informatique et en Automatique (INRIA) в Роккенкур, Франция (1982-83)
ТезисМинимальный дистанционный анализ синтаксических ошибок в компьютерных программах  (1975)
ДокторантНико Хаберманн
ДокторантыТомас В. Репс[1][2]
Сьюзан Б. Хорвиц[3]
Билл Пью[4]
Яньхонг Энни Лю[5]
Интернет сайтwww.cs.cornell.edu/Информация/люди/ tt/Тим_teitelbaum.html

(Рэй) Тим Тейтельбаум (родился 12 апреля 1943 года, США) - американец специалист в области информатики известен своей ранней работой над интегрированные среды разработки (IDE), синтаксически управляемое редактирование, и инкрементальные вычисления. Как педагог и преподаватель Корнелл Университет На факультете компьютерных наук с 1973 года он получил признание за его широкомасштабное преподавание вводного программирования и наставничество для очень успешных аспирантов. Как бизнесмен, он известен тем, что стал соучредителем GrammaTech, Inc., и за то, что он был ее единственным генеральным директором с 1988 по 2019 год.

Образование

Тейтельбаум получил образование в Массачусетский Институт Технологий и Университет Карнеги Меллон.[1]

Карьера и исследования

В 1978 году Тейтельбаум создал программный синтезатор Cornell, одну из основополагающих систем, продемонстрировавших силу тесной интеграции совокупности инструменты разработки программ, все хорошо осведомлены о язык программирования и это семантика, в одну единую структуру. Его более 45 лекций и демонстраций этой ранней IDE в 1979-82 гг., А также кредо его статьи 1981 г.[6] в соавторстве с Томас Репс, утверждал:

Программы - это не текст; они представляют собой иерархические композиции вычислительных структур, и их следует редактировать, выполнять и отлаживать в среде, которая последовательно признает и укрепляет эту точку зрения.

В связи с важностью немедленной обратной связи в интерактивных системах, таких как IDE, исследования Тейтельбаума в 1980-х и 1990-х годах были сосредоточены на проблеме инкрементных вычислений:

Учитывая программу P, написанную на языке L, и результат выполнения P на входе x, как можно эффективно определить результат выполнения P на входе x ', где разница между x и x' представляет собой небольшое приращение x'-x .

В совокупности со своими аспирантами Тейтельбаум исследовал эту проблему для ряда языков L, включая грамматики атрибутов, SQL, первый заказ функциональные языки, а лямбда-исчисление. Помимо дополнительных оценка методы, в работу также входила программа трансформация методы, т. е. автоматический вывод из P инкрементальной программы P ', где выполнение P' с предыдущим результатом P (x), приращение x'-x и вспомогательная информация, сохраненная от предыдущих выполнений, эффективно выполняет те же вычисления, что и выполнение P на входе x '.

Тейтельбаума на GrammaTech направлена ​​на разработку и внедрение инструментов, которые помогают сделать программное обеспечение более безопасным и защищенным.[7] Методы включают статический анализ программы и динамический анализ программы обоих исходный код и Машинный код.

Награды и отличия

Тейтельбаум был одним из получателей Ассоциация вычислительной техники SIGSOFT Премия Retrospective Impact Paper (2010) за статью 1984 года[8] в соавторстве с Томас Репс на синтезаторе-генераторе.[9][10]

Рекомендации

  1. ^ а б Тим Тейтельбаум на Проект "Математическая генеалогия" Отредактируйте это в Викиданных
  2. ^ http://pages.cs.wisc.edu/~reps/reps.html
  3. ^ "Сьюзен Б. Хорвиц".
  4. ^ "Билл Пью".
  5. ^ "Яньхонг Анни Лю".
  6. ^ Тейтельбаум, Т .; Т. Репс (Сентябрь 1981 г.). «Корнельский программный синтезатор: среда программирования, ориентированная на синтаксис». Коммуникации ACM. 24 (9): 563–573. Дои:10.1145/358746.358755.
  7. ^ «ГраммаТех».
  8. ^ http://dl.acm.org/citation.cfm?id=808247
  9. ^ Reps, Thomas W .; Тейтельбаум, Тим (1989). Генератор синтезатора. Дои:10.1007/978-1-4613-9623-9. ISBN  978-1-4613-9625-3.
  10. ^ Reps, Thomas W .; Тейтельбаум, Тим (1989). Справочное руководство по синтезатору-генератору. Дои:10.1007/978-1-4613-9633-8. ISBN  978-0-387-96910-7.