Тейлор Бут (математик)

Американский математик (1933–1986)

Тейлор Локвуд Бут (22 сентября 1933 — 20 октября 1986) — математик, известный своими работами в области теории автоматов .

Одной из его фундаментальных работ является Sequential Machines and Automata Theory (1967). Это обширная книга, предназначенная для специалистов, написанная как для теоретиков-компьютерщиков, так и для инженеров-электриков. В ней рассматриваются методы минимизации состояний , конечные автоматы , машины Тьюринга , марковские процессы и неразрешимость .

Образование

Бут учился в Университете Коннектикута , где получил степени бакалавра, магистра и доктора наук. ^[1]

Профессиональная карьера

В своей альма-матер Бут был профессором кафедры компьютерных наук и инженерии . ^[1]

Он был основателем и директором Центра компьютерных приложений и исследований (CARC) в Инженерной школе Университета Коннектикута . В 1981 году центр был создан для поддержки растущей потребности школы в централизованных компьютерных исследованиях и разработках. После его смерти центр был переименован в «Центр компьютерных приложений и исследований Тейлора Л. Бута» или в более короткой форме «Исследовательский центр Бута». В 2002 году он объединился с Институтом передовых технологий (ATI), другим центром Инженерной школы, и образовал «Инженерный центр Бута по передовым технологиям» (BECAT). ^{[1] [2] [3]}

Бут был первым президентом Совета по аккредитации вычислительных наук, основанного в 1984 году и впоследствии переименованного в CSAB . ^{[1] [4]}

Награды и почести

Профессор Бут получил следующие награды и почести: ^[1]

• Премия Фредерика Эммонса Термана от Американского общества инженерного образования в 1972 году в знак признания выдающегося молодого преподавателя электротехники. ^[5]
• Медаль столетия IEEE от Института инженеров по электротехнике и электронике (IEEE) в 1984 году.
• Премия за выдающиеся заслуги от IEEE Computer Society в 1985 году за работу по аккредитации.

Премия Тейлора Л. Бута в области образования

После смерти Бута IEEE Computer Society учредило премию Taylor L. Booth Education Award, чтобы увековечить его имя. Премия ежегодно вручается лицам с «выдающимися достижениями в области компьютерных наук и инженерного образования». ^{[1] [6]}

Ссылки

1. "Tribute to Taylor L. Booth". IEEE-CS . Архивировано из оригинала 2010-06-17 . Получено 23 октября 2010 .
2. "BECAT Overview and History". Университет Коннектикута . Архивировано из оригинала 2010-06-22 . Получено 28 октября 2010 .
3. "Годовой отчет Школы инженерии 2001-2002" (PDF) . Университет Коннектикута . Получено 17 сентября 2020 г. .
4. "IEEE Computer Society отмечает 60-ю годовщину". IEEE-CS . 7 августа 2007 г. Архивировано из оригинала 29-06-2011 . Получено 23 октября 2010 г.
5. "Прошлые лауреаты премии Фредерика Эммонса Термана". Американское общество инженерного образования . Архивировано из оригинала 2013-04-02 . Получено 3 ноября 2010 г.
6. "Премия Тейлора Л. Бута в области образования". IEEE-CS . 3 апреля 2018 г. Получено 9 июля 2022 г.

Внешние ссылки

• Тейлор Бут (1967) Последовательные машины и теория автоматов , John Wiley and Sons, Нью-Йорк. Номер карточки каталога Библиотеки Конгресса: 67–25924.