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 autómatas .
Una de sus obras fundamentales es Sequential Machines and Automata Theory (1967). Se trata de un libro de amplio alcance destinado a especialistas, escrito tanto para informáticos teóricos como para ingenieros eléctricos. Trata sobre técnicas de minimización de estados , máquinas de estados finitos , máquinas de Turing , procesos de Markov y la indecidibilidad .
Booth estudió en la Universidad de Connecticut , donde obtuvo su licenciatura, maestría y doctorado. [1]
En su alma mater, Booth fue profesor en el Departamento de Ciencias Informáticas e Ingeniería . [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, el centro se creó para dar apoyo a la creciente necesidad de la facultad de contar con servicios centralizados de investigación y desarrollo informático. Tras su muerte, el centro pasó a llamarse "Taylor L. Booth Center for Computer Applications and Research" o, en su forma más abreviada, "Booth Research Center". En 2002, se fusionó con el Advanced Technology Institute (ATI), otro centro de la Facultad de Ingeniería, para formar el "Booth Engineering Center for Advanced Technology" (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 luego rebautizada como CSAB . [1] [4]
El profesor Booth recibió los siguientes premios y honores: [1]
Tras la muerte de Booth, la IEEE Computer Society creó el Premio de Educación Taylor L. Booth, para mantener su nombre en memoria. El premio se otorga anualmente a personas con un "récord sobresaliente en educación en ciencias de la computación e ingeniería". [1] [6]