Computer Science

University Home | Department Home | Research | Department

John V Tucker 

BA (Warwick) MSc, PhD (Bristol), FBCS, CEng, FLSW, Member of Academia Europaea

Professor of Computer Science 
Head of Department of Computer Science (1994-2008)
Head of School of Physical Sciences (2007-11)
Deputy Pro-Vice Chancellor (2011-)

Research Interests: theory of data and data types; programming and specification methods; logical and algebraic methods for modelling and specification; computability theory for topological data types; synchronous concurrent algorithms; computablility and physical systems.

History of computing. Technical, social, and cultural aspects of technological development.

History of science in Wales.

Applications: microprocessors, spatially extended dynamical systems, volume graphics, whole heart modelling, algorithms and experiments and analogue systems.

Teaching Interests: theory of data types and programming languages; algebraic methods for modelling systems; synchronous concurrent algorithms; history of computation.

Tel.: (+44) 01792 295649
E-mail: j.v.tucker@swansea.ac.uk



Some Recent Lectures:

Computability by people, machines and physical systems: the history of Turing's Hypothesis, Alan Turing Centenary, British Society for the History of Mathematics, Oxford, 3-23 June 2012.

Computable science in an uncomputable world, The Incomputable, Kavli Royal Society International Centre Chicheley Hall, 12 - 15 June, 2012. The Incomputable is a major workshop of the 6-month Isaac Newton Institute programme - "Semantics and Syntax: A Legacy of Alan Turing".

Some equations I have known,
Conference in Honour of Jan A Bergstra, University of Amsterdam, 20 June 2011.

Science and society in South Wales 1717-1939, Annual General Meeting of the Glamorgan History Society, Glamorgan Archives, Cardiff, 7 May, 2011.

A national history of science,
at the conference on the The Scientific Heritage of Wales: The Way Forward, National Museum of Wales, Cardiff, 18 March 2010. The programme is here.

A national history of science,
at the Institute of Welsh Affairs and History Research Wales conference, History, Science, Heritage, Waterfront Museum, 15 October 2009.

Computability theory versus physical theory
at the LMS Conference Proofs and Computation: In Honour of S S Wainer, July 2009, Leeds University.

The Equations of Computer Science at the annual  joint BCS-FACS and LMS Lecture, November 2008. More details are  here.

Robert Recorde, computing and the Tudor knowledge economy, at the 450 years memorial conference, Robert Recorde - His Life and Times, organised by the British Society for the History of Mathematics  and WALMATO, July 8-10, 2008 at Gregynog.

Applied Computability at Computability in Europe, Athens 2008. The reference list for my three lectures is here.


Historical Activities:

At Swansea University, I have started a project to create an archive for the history of computing:
History of Computing Collection 
The collection will specialise in:
The HoCC will take years to mature.

I am also an editor of the new series of books on the histotry of computing: Springer History of Computing.


Learned Society of Wales

The Learned Society of Wales is the national academy of Wales.

The Learned Society of Wales was launched on 25 May 2010. It has 60 Founding Fellows and its first President is Sir John Cadogan.

I am a Founding Fellow of the Learned Society of Wales and was elected a member of its inuagural Council.  I am currently General Secreatry of the Society.


Academia Europaea

I was elected a member of the Academia Europaea by the Informatics Section.


Civic Society

I am a Trustee of the Institute of Welsh Affairs and Chair of the Swansea Bay Branch. I have a particular interest in policy formation in science, technology, including their history and heritage.

I am a Trustee of the South Wales Institute of Engineers Educational Trust


Book in progress

Data Syntax and Semantics with Karen Stephenson.


Editorial
I am a Managing Editor of this journal:
I am a member of the Editorial Boards of these journals:
I am a founding editor of these research monograph series:


Swansea Algebraic Specification Seminar



An interview with IT.Wales.com, dated Thursday, 23 March, 2006 is here.

Research

Classified list of publications of J V Tucker

My current research

Computability of physical and mathematical theories

The selection of papers below reflects my current research. See the classified list above for many more.


Book

B. Möller and J. V. Tucker (editors),   Prospects for hardware foundations, Springer Lecture Notes in Computer Science, Vol 1546, Springer Verlag, 1998, pp. x+468.

Major surveys

K. Meinke and J. V. Tucker, Universal Algebra, Handbook of Logic for Computer Science. Volume I: Mathematical Structures, in S. Abramsky, D. Gabbay and T. Maibaum (eds.), Oxford University Press, Oxford, 1992, 189-411

V. Stoltenberg-Hansen and J.V. Tucker, Effective Algebra, Handbook of Logic for Computer Science. Volume IV Semantic Modelling in S. Abramsky, D. Gabbay and T. Maibaum (eds.), Oxford University Press, Oxford, 1994, 357-526

V. Stoltenberg-Hansen and J. V. Tucker, Computable rings and fields, in E Griffor (ed.), Handbook of Computability Theory, Elsevier, 1999, 363-447.

J. V. Tucker and J. I. Zucker,  Computable functions and semicomputable sets on many sorted algebras, in S. Abramsky, D. Gabbay and T Maibaum (eds.), Handbook of Logic for Computer Science. Volume V Logic and Algebraic Methods, 2000, Oxford University Press, 317-523.

V Stoltenberg-Hansen and J V Tucker, Computability on topological spaces via domain representations, in S B Cooper, B Lowe and A Sorbi (eds), New Computational Paradigms: Changing Conceptions of What is Computable, Springer-Verlag, 2008, pp.153-194.  

Papers

A.V. Holden, M. Poole and J.V. Tucker, Reconstructing the heart, Chaos, Solitons and Fractals, 5 (1995) 691-704

N.A. Harman and J.V. Tucker, Algebraic models of microprocessors: architecture and organisation, Acta Informatica,33 (1996) 421-456

J.A. Bergstra and J.V. Tucker, Equational specifications, complete term rewriting systems, and computable and semicomputable algebras, Journal of the Association for Computing Machinery,42 (1995) 1194-1230

N.A. Harman and J.V. Tucker, Algebraic models of microprocessors: the verification of a simple computer, Mathematics for dependable systems II, Proceedings of the Second IMA Conference,  Oxford University Press, 1997, 135-169

A.V. Holden, M.J. Poole and J.V. Tucker, An algorithmic model of the mammalian heart: propagation, vulnerability, re-entry and fibrillation, International Journal of Bifurcation and Chaos, 6 (1996) 1623-1635

J. V. Tucker and J. I. Zucker, Computation by while programs on topological partial algebras, Theoretical Computer Science, 219 (1999) 379-421

V. Stoltenberg-Hansen and J. V. Tucker, Concrete models of computation for topological algebras, Theoretical Computer Science, 219 (1999) 347-378

J. Blanck, V. Stoltenberg-Hansen and J. V. Tucker, Streams, stream transformers and domain representations, in B. Möller and J. V. Tucker (editors), Prospects for hardware foundations, Springer Lecture Notes in Computer Science, Vol 1546, 1998, 27-68

M. J. Poole, J. V. Tucker and A. V. Holden, Hierarchies of spatially extended systems and synchronous concurrent algorithms, in B. Möller and J. V. Tucker (editors),  Prospects for hardware foundations, Springer Lecture Notes in Computer Science Vol 1546, 1998, 184-235

J. Blanck, V. Stoltenberg-Hansen and J. V. Tucker,Domain representations of partial functions, with applications to spatial objects and constructive volume geometry,Theoretical Computer Science, 284 (2002) 207-24.

J V Tucker and J I Zucker, Abstract computability and algebraic specification, ACM Transactions on Computational Logic  3 (2002), 279-333.

J V Tucker and J I Zucker,  Infinitary initial algebraic specifications for stream algebras, in W Sieg, R Somer, C Talcott (editors), Reflections on the foundations of mathematics: Essays in honour of Solomon Feferman, Lecture Notes in Logic, volume 15, Association for Symbolic Logic, 2002, 234-253.

M Chen and J V Tucker, Constructive volume geometry, Computer Graphics Forum, 19 (2000) 281-293.

M J Poole, A V Holden and J V Tucker, Hierarchical reconstructions of cardiac tissue, Chaos, Solitons and Fractals, 13 (2002) 1581-1612.

J V Tucker and J I Zucker, Origins of our theory of computation on abstract data types at the Mathematical Centre, Amsterdam, 1979-80, in F de Boer et al, Liber Amicorum: J W de Bakker, CWI Amsterdam, 2002.

J V Tucker and J I Zucker, Abstract versus concrete models of computation on partial metric algebras, ACM Transactions on Computational Logic, 5 (2004) 611-668.  

Min Chen, R H Clayton, A V Holden and J V Tucker, Visualising cardiac anatomy using constructive volume geometry, in I E Magnin, J Montagnat, P Clarysse, J Nenonen, T Katila (eds) Functional Imaging and Modeling of the Heart, Lecture Notes in Computer Science, Volume 2674, Springer-Verlag, Heidelberg, 2003, pp.30-38.

Min Chen, R H Clayton, A V Holden and J V Tucker, Constructive volume geometry applied to visualisation of cardiac anatomy and electrophysiology, International J of Bifurcation and Chaos, 13 (2003) 3591-3604.

K Stephenson, D Rees and J V Tucker, The algebraic structure of interfaces, Science of Computer Programming,  49 (2003), pp. 47-88

J V Tucker and J I Zucker, Computable total functions on metric algebras, universal algebraic specifications and dynamical systems, Journal of Algebraic and Logic Programming, 62 (2005) 71-108.

V Stoltenberg-Hansen and J V Tucker,  Computable and continuous partial homomorphisms on metric partial algebras, Bulletin of Symbolic Logic, Volume 9, Issue 3, September 2003, pages 299 - 334.

E J Beggs and J V Tucker, Computations via experiments with kinematic systems, Technical Report 5-2004, Department of Computer Science, University of Wales Swansea, March 2004.

E J Beggs and J V Tucker, Embedding infinitely parallel computation in Newtonian kinematic systemsApplied Mathematics and Computation, 178 (2006) 25-43.

J V Tucker and J I Zucker, A network model of analogue computation over metric algebras, in S B Cooper, B Lowe,  L Torenvliet (eds), Computability in Europe 2005, Lecture Notes in Computer Science 3526, Springer Verlag, 2005, pages 515-529.

J.V. Tucker, J.I. Zucker, Computability of analog networks, Theoretical Computer Science 371 (2007), 115-146 [doi:10.1016/j.tcs.2006.10.018] Here.

J A Bergstra and J V Tucker, The rational numbers as an abstract data typeJournal of the ACM, 54 (2) Article 7 (April 2007).  Here.

E J Beggs and J V Tucker, Can Newtonian systems, bounded in space, time, mass and energy compute all functions?Theoretical Computer Science, 371 (2007) 4-19. Here.

E J Beggs and J V Tucker, Experimental computation of real numbers by Newtonian machines, Proceedings Royal Society Series A, 463 (2007) 1541-1561. Here.

J A Bergstra and J V Tucker, Meadows, Technical Report CSR??-2007, Department of Computer Science, University of Wales Swansea, April 2007.

J A Bergstra , Y Hirschfeld and J V Tucker,  Meadows and the equational specification of division, Theoretical Computer Science, 410 (2009), 1261-1271. doi:10.1016/j.tcs.2008.12.015

J A Bergstra and J V Tucker,  Division safe calculation in totalised fields, Theory of Computing Systems, 43 (Numbers 3-4) (2008) 410-424.

E J Beggs, J F Costa, B Loff and J V Tucker, Computational complexity with experiments as oraclesProceedings Royal Society Series A, 464 (2008) 2777-2801. Here.

E J Beggs and J V Tucker, Programming experimental procedures for Newtonian kinematic machines, in A Beckmann, C Dimitracopoulos and B Lowe (eds), Computability in Europe, Athens, 2008, Springer Lecture Notes in Computer Science, Volume 5028, Springer, 2008, 52-66.

E J Beggs, J F Costa and J V Tucker, Oracles and advice as measurements, in C S Calude et al (eds), Unconventional Computing 2008, Springer Lecture Notes in Computer Science, Volume 5204, Springer, 2008, 33-50.

E J Beggs, J F Costa, B Loff, and J V Tucker, The complexity of measurement in classical physics, in M Agrawal, D Du,
Z Duan, A Li (eds), Theory and Applications of Models of Computation, Springer Lecture Notes in Computer Science, Volume 4978, Springer, 2008, 20-30.

E J Beggs, J F Costa, and J V Tucker,  Physical Experiments as Oracles, Bulletin of the European Association for Theoretical Computer Science, Volume 97, 137-151, February 2009.

E J Beggs, J F Costa, B Loff and J V Tucker, Computational complexity with experiments as oracles II: Upper bounds, Proceedings Royal Society Series A, 465 (2009) 1453-1465.

E J Beggs and J V Tucker, Computations via Newtonian and relativistic kinematic systems, Applied Mathematics and Computation, 215 (2009) 1311-1322.

B C Thompson, J V Tucker and J I Zucker, Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms, Applied Mathematics and Computation, 215 (2009) 1386-1403.

E J Beggs, J F Costa, and J V Tucker,  Unifying science through computation: Reflections on computability and physics, In Olga Pombo, Juan Manuel Torres, John Symons, and S. Rahman, editors, New Approaches
to the Unity of Science, Vol. II: Special Sciences and the Unity of Science, volume 24 of Logic, Epistemology, and the Unity of Science, pages 53-80. Springer, 2012.

E J Beggs, J F Costa, and J V Tucker,  Computational models of measurement and Hempel's axiomatization, A Carsetti (ed.), Causality, meaningful complexity and embodied cognition, Theory and Decision Library, A 46, Springer-Verlag, 2010, 155-183.  DOI 10.1007/978-90-481-3529_9.

E J Beggs, J F Costa, and J V Tucker, Physical oracles: the Turing machine and the Wheatstone bridge, Studia Logica,  95 (2010) 279-300. DOI: 10.1007/s11225-010-9254-6

E J Beggs, J F Costa and J V Tucker, Limits to measurement in experiments governed by algorithms, Mathematical Structures in Computer Science, 20 (2010) 1019-1050. DOI: 10.1017/S0960129510000356

K Johnson and J V Tucker, The data type of spatial objects, Formal aspects of computing, accepted. DOI: 10.1007/s00165-011-0182-7

V Wang, J V Tucker and T E Rihll, On phatic technologies for creating and maintaining human relationships, Technology in Society, 33 (2011) 44-51. DOI: 10.1016/j.techsoc.2011.03.017

V Wang and J V Tucker, Phatic technologies in modern society, Technology in Society, 34 (1) (2012) 84-93. DOI: 10.1016/j.techsoc.2012.01.001

J E Blanck, V Stoltenberg-Hansen and J V Tucker, Stability of representations of effective partial algebras, Mathematical Logic Quarterly, 57 (2011) 217–231. DOI 10.1002/malq.200910133

J V Tucker and J I Zucker, Continuity of operators on continuous and discrete time streams, Theoretical Computer Science, 412 (2011) (28), 3378-3403. DOI:10.1016/j.tcs.2011.04.012

J V. Tucker, Robert Recorde and the History of Computing, Foreword to Jack Williams, Robert Recorde, Springer, 2011, pp.v-xi.

V Wang, K Haines and J V Tucker, Deviance and Control in Communities with Perfect Surveillance - The Case of Second Life, Surveillance and Society, 9 (2011) (1/2) 31-46.

E J Beggs, J F Costa and J V Tucker, The impact of models of a physical oracle on computational power, Mathematical Structures in Computer Science, Mathematical Structures in Computer Science, 22 (2012) 853-879.  doi:10.1017/S0960129511000557

E J Beggs, J F Costa and J V Tucker, Axiomatising physical experiments as oracles to algorithms, Philosophical Transactions Royal Society, A 370 (2012) 3359–3384. Here.   doi:10.1098/rsta.2011.0427

J V Tucker, Robert Recorde: data, computation and the Tudor knowledge economy, G Roberts and F Smith (ed),  Robert Recorde: Life and Work, University of Wales Press, 2012.

K Johnson and J V Tucker, Algebraic specifications of computing as a service with applications to cost analysis, Proceedings 5th IEEE/ACM International Conference on Utility and Cloud Computing
Chicago, Illinois, USA, November 5-8, 2012. IEEE Computer Society, USA. (available online through the IEEE Digital Library).