Из Википедии, свободной энциклопедии
  (Перенаправлено от Тейлор Л. Бут )
Перейти к навигации Перейти к поиску

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

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

Образование [ править ]

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

Профессиональная карьера [ править ]

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

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

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

Награды и награды [ править ]

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

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

После смерти Бута Компьютерное общество IEEE учредило Образовательную премию Тейлора Л. Бута, чтобы сохранить его имя в памяти. Премия ежегодно присуждается лицам, имеющим «выдающиеся достижения в области информатики и инженерного образования». [1] [6]

Ссылки [ править ]

  1. ^ a b c d e f "Дань Тейлору Л. Буту" . IEEE-CS . Проверено 23 октября 2010 года .[ мертвая ссылка ]
  2. ^ «Обзор и история BECAT» . Университет Коннектикута . Архивировано из оригинала на 2010-06-22 . Проверено 28 октября 2010 года .
  3. ^ "Годовой отчет инженерной школы 2001-2002" (PDF) . Университет Коннектикута . Проверено 17 сентября 2020 года .
  4. ^ "Компьютерное общество IEEE отмечает 60-летие" . IEEE-CS . 7 августа 2007 . Проверено 23 октября 2010 года .[ мертвая ссылка ]
  5. ^ "Прошлые лауреаты премии Фредерика Эммонса Термана" . Американское общество инженерного образования . Проверено 3 ноября 2010 года .[ мертвая ссылка ]
  6. ^ "Премия Тейлора Л. Бута в области образования" . IEEE-CS . Проверено 23 октября 2010 года .[ мертвая ссылка ]

Внешние ссылки [ править ]

  • Тейлор Бут (1967) Теория последовательных машин и автоматов , Джон Вили и сыновья, Нью-Йорк. Номер каталожной карточки Библиотеки Конгресса: 67–25924.