John Tucker

John Tucker is a Professor of Computer Science at Swansea University's Department of Computer Science within the School of Physical Sciences. He has held leadership roles including Head of Department (1994-2007) and Head of School (2007-2011). His academic career spans institutions like University of Leeds and University of Bristol, with a PhD in Mathematical Logic (1977) and MSc in Mathematical Logic and Foundations of Mathematics and Computer Science (1974).

• Education: PhD (1977) and MSc (1974) from University of Bristol.

His research focuses on the theory of synchronous algorithms, algebraic specification, physical foundations of computation, and computational physics, with historical interests in computing, mathematics, and science. He pioneered equational specification methods applied to micro-processors (ARM6 verification), 3D graphics, and non-linear systems modeling whole-heart dynamics.

Scientific Awards:

• Founding Fellow of the Learned Society of Wales (2010)
• Elected Member of BCS-IET joint UK Computing Research Committee (2007-present)
• Trustee of the Institute of Welsh Affairs (2006)
• Fellow of British Computer Society (1998)

As an academic leader, Tucker founded three journals and two book series (Cambridge Tracts in Theoretical Computer Science, Springer's History of Computing). He supervised 16 PhD students, advised on EU projects (FP3, FP4), and organized public science programs in Wales. His editorial roles include founding editor of Cambridge Tracts in TCS, Managing Editor of the Journal of Logic and Algebraic Programming, and service on boards of top-tier journals.