Professor John Tucker
Professor
Computer Science
Telephone: (01792) 295649
Email: JavaScript is required to view this email address.

Areas of Expertise

  • Theory of data and data types
  • Algebraic methods for modelling and specification
  • Computability theory
  • Physical foundations for computation
  • History of computing
  • History of science in Wales
  • Socio-technical aspects of web
  • Identity, monitoring and surveillance

Publications

  1. & Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations. Presented at Lecture Notes in Computer Science,Springer Verlag.
  2. & Phatic systems in digital society. Technology in Society 46, 140-148.
  3. & Computability of Operators on Continuous and Discrete Time Streams. Computability 3(1), 9-44.
  4. & An Analogue-Digital Model of Computation: Turing Machines with Physical Oracles. In Andrew Adamatzky (Ed.), Advances in Unconventional Computing. (pp. 73-115). Springer.
  5. & Generalizing Computability Theory to Abstract Algebras. In Turing’s Revolution. (pp. 127-160). Basel: Bikhauser/Springer.

See more...

Teaching

  • CS-275 Automata and Formal Language Theory

    This module introduces the notion of grammars for defining the syntax of formal languages, especially programming languages. It introduces the limits of computation using Turing Machines and other models of computation.

  • CSC309 Invention and Innovation in Computing

    The course will introduce the student to the history of contemporary computing. Among themes to be explored are the role of invention and innovation, and their commercialisation; and the impact of computing developments on society. The course will offer the opportunity for the student to investigate computing innovations and their historical development, or to work practically on items in the University¿s History of Computing Collection.

  • CSC409 Invention and Innovation in Computing

    The course will introduce the student to the history of contemporary computing. Among themes to be explored are the role of invention and innovation, and their commercialisation; and the impact of computing developments on society. The course will offer the opportunity for the student to investigate computing innovations and their historical development, or to work practically on items in the University¿s History of Computing Collection.