Taylor Lockwood Booth (22 de septiembre de 1933 - 20 de octubre de 1986) fue un matemático conocido por su trabajo en la teoría de los autómatas .
Una de sus obras fundamentales es Teoría de máquinas secuenciales y autómatas (1967). Es un libro de amplio alcance destinado a especialistas, escrito tanto para informáticos teóricos como para ingenieros eléctricos. Se trata de técnicas de minimización de estados , máquinas de estados finitos , máquinas de Turing , procesos de Markov e indecidibilidad .
Booth estudió en la Universidad de Connecticut , donde recibió su licenciatura, maestría y doctorado. grados. [1]
En su alma mater, Booth fue profesor en el departamento de Ingeniería y Ciencias de la Computación . [1]
Fue el fundador y director del Centro de Investigación y Aplicaciones Informáticas (CARC) de la Facultad de Ingeniería de la Universidad de Connecticut . En 1981, se creó el centro para satisfacer la creciente necesidad de la escuela de servicios centralizados de investigación y desarrollo de informática. Después de su muerte, el centro pasó a llamarse "Centro Taylor L. Booth para investigación y aplicaciones informáticas" o, en su forma abreviada, "Centro de investigación Booth". En 2002 se fusionó con el Instituto de Tecnología Avanzada (ATI), otro centro de la Escuela de Ingeniería, para formar el "Centro de Ingeniería Booth de Tecnología Avanzada" (BECAT). [1] [2] [3]
Booth fue el primer presidente de la Junta de Acreditación de Ciencias de la Computación, fundada en 1984 y desde entonces rebautizada como CSAB . [1] [4]
El profesor Booth recibió los siguientes premios y honores: [1]
Después de la muerte de Booth, la IEEE Computer Society estableció el Premio de Educación Taylor L. Booth para mantener su nombre en la memoria. El premio se otorga anualmente a personas con un "historial sobresaliente en educación en ciencias de la computación e ingeniería". [ dieciséis]