John Vivian Tucker (nacido el 4 de febrero de 1952) es un informático británico y experto en teoría de la computabilidad , también conocida como teoría de la recursión . La teoría de la computabilidad se trata de lo que pueden y no pueden calcular las personas y las máquinas. Su trabajo se ha centrado en generalizar la teoría clásica para tratar con todas las formas de datos discretos/ digitales y continuos/ analógicos ; y sobre el uso de las generalizaciones como métodos formales para el diseño de sistemas; basado en tipos de datos abstractos y en la interfaz entre algoritmos y equipos físicos.
Nacido en Cardiff, Gales, se educó en Bridgend Boys' Grammar School, donde aprendió matemáticas, lógica y computación. Estudió matemáticas en la Universidad de Warwick (BA en 1973) y estudió lógica matemática y los fundamentos de la computación en la Universidad de Bristol (MSc en 1974, PhD en 1977). Ha ocupado cargos en la Universidad de Oslo , el CWI Amsterdam y en las universidades de Bristol y Leeds , antes de regresar a Gales como profesor de informática en la Universidad de Swansea en 1989. Además de la informática teórica, Tucker también da conferencias sobre la historia de la informática y sobre la historia de la ciencia y la tecnología y Gales.
Tucker fundó el British Colloquium for Theoretical Computer Science en 1985 y fue su presidente desde su creación hasta 1992. Es miembro de la British Computer Society y editor de varias revistas científicas internacionales y series de monografías. En Swansea, ha sido Director de Informática (1994–2008), Director de Ciencias Físicas (2007–11) y Vicecanciller Pro Adjunto (2011–2019). Es miembro de la Academia Europaea . Fuera de Ciencias de la Computación, Tucker ha sido miembro del comité de expertos galés, el Instituto de Asuntos Galeses y presidente de la sucursal de Swansea Bay . También es fideicomisario del South Wales Institute of Engineers Educational Trust.y la Sociedad de Gower .
El profesor Tucker está casado con el Dr. TE Rihll, ex profesor de historia antigua en la Universidad de Swansea.
A principios de la década de 1990, comenzó a presionar por una academia nacional para Gales. En 2008 se inició un proceso para crear dicha academia auspiciado por la entonces Universidad de Gales . El profesor Tucker es miembro fundador de la Learned Society of Wales y, en julio de 2010, fue nombrado secretario general inaugural, cargo que ocupó hasta mayo de 2017.
La teoría clásica de la computabilidad se basa en los tipos de datos de cadenas o números naturales . En general, los tipos de datos, tanto discretos como continuos, se modelan mediante álgebras universales , que son conjuntos de datos equipados con operaciones y pruebas. El trabajo teórico de Tucker aborda los problemas de: cómo definir o especificar propiedades de las operaciones y pruebas de tipos de datos; cómo programar y razonar con ellos; y cómo implementarlos.