John V. Tucker

John V. Tucker

John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. His work has focussed on generalizing the classical theory to deal with all forms of discrete/digital and continuous/analogue data; and on using the generalizations as formal methods for system design.

Biography

Born in Cardiff, Wales, he was educated at Bridgend Boys' Grammar School, where he was taught mathematics, logic and computing. He read mathematics at University of Warwick (BA in 1973), and studied mathematical logic and the foundations of computing at University of Bristol (MSc in 1974, PhD in 1977). He has held posts at Oslo University, The CWI Amsterdam, and at Bristol and Leeds Universities, before returning to Wales as Professor of Computer Science at Swansea University in 1989.

Tucker founded the British Colloquium for Theoretical Computer Science in 1985 and served as its president from its inception until 1992. He has been Head of Computer Science at Swansea since 1994. He is a Fellow of the British Computer Society and editor of several international scientific journals and monograph series. Outside of Computer Science, Tucker is the chair of the Swansea Bay branch of the Welsh think-tank, the Institute of Welsh Affairs.

Work on computability and data types

Classical computability theory is based on the data types of strings or natural numbers. In general, data types, both discrete and continuous, are modelled by universal algebras, which are sets of data equipped with operations and tests. Tucker's theoretical work tackles the problems of: how to define or specify properties of the operations and tests of data types; how to program and reason with them; and how to implement them.

In a series of theorems and examples, starting in 1979, Jan Bergstra and Tucker established the expressive power of different types of equations and other algebraic formulae on any discrete data type. For example, they showed that

On any discrete data type, functions are definable as the unique solutions of small finite systems of equations if, and only if, they are computable by algorithms.
The results combined techniques of universal algebra and recursion theory, including term rewriting and Matiyasevich's theorem.

For the other problems, he and his co-workers have developed two independent disparate generalisations of classical computability/recursion theory, which are equivalent for many continuous data types.

The first generalisation, created with Jeffrey Zucker, focuses on imperative programming with abstract data types and covers specifications and verification using Hoare logic. For example, they showed that:

All computable functions on the real numbers are the unique solutions to a single finite system of algebraic formulae.

The second generalisation, created with Viggo Stoltenberg-Hansen, focuses on implementing data types using approximations contained in the ordered structures of domain theory.

The general theories have been applied as formal methods in microprocessor verifications, data types, and tools for volume graphics and modelling excitable media including the heart.

References

# J A Bergstra and J V Tucker, "Equational specifications, complete term rewriting systems, and computable and semicomputable algebras", Journal of the ACM, Volume 42 (1995), pp1194-1230.
# V Stoltenberg-Hansen and J V Tucker, "Effective algebras", in S Abramsky, D Gabbay and T Maibaum (eds.), Handbook of Logic in Computer Science, Volume IV: Semantic Modelling, Oxford University Press (1995), pp357-526.
# V Stoltenberg-Hansen and J V Tucker, "Computable rings and fields", in E Griffor (ed.), Handbook of Computability Theory, Elsevier (1999), pp363-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 in Computer Science, Volume V: Logic and Algebraic Mehtods, Oxford University Press (2000), pp317-523.
# J V Tucker and J I Zucker, "Abstract computability and algebraic specification", ACM Transactions on Computational Logic, Volume 5 (2004), pp611-668.

External links

* [http://www.swan.ac.uk/compsci/people/homepage.php?staff=J.V.Tucker Home page]
*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • John Bartholomew Tucker — (born April 9, 1930 in Pennsylvania) is an American radio and television personality, as well as an author.Along with Big Wilson, Tucker was the one of the last two communicators (hosts) of the long running NBC Radio program Monitor ; he was on… …   Wikipedia

  • John Randolph Tucker — There were several famous men named John Randolph Tucker: *John Randolph Tucker (1812 1883) was a commander in the United States Navy, a captain in the Confederate States Navy, and a rear admiral in the Peruvian Navy. *John Randolph Tucker… …   Wikipedia

  • John Randolph Tucker (1823-1897) — John Randolph Tucker (December 24, 1823 February 13, 1897) was born in Winchester, Virginia, the son of Henry St. George Tucker, and grandson of St. George Tucker. He graduated from the University of Virginia in 1844 and married Laura Powell in… …   Wikipedia

  • John Randolph Tucker (1812–1883) — Infobox Military Person name= John Randolph Tucker lived=January 31, 1812 June 12, 1883 placeofbirth= Alexandria, Virginia placeofdeath= caption=Captain John Randolph Tucker, CSN nickname= allegiance= United States 1826 1861 Confederate States… …   Wikipedia

  • John Randolph Tucker High School — Infobox School name= John Randolph Tucker High School imagesize= motto= Unity In Diversity! motto translation= streetaddress= 2910 North Parham Road city= Richmond state= Virginia zipcode= 23294 country= USA url=… …   Wikipedia

  • Tucker (surname) — Tucker is a surname.Derivation of nameThe origin of the name is not entirely sure, but since it has a long history as a surname on both the continent as in England and from thereon also in the United States it presumably has the same Saxon roots …   Wikipedia

  • John Tucker (disambiguation) — John Tucker may refer to: People *Jonathan Tucker, American film and television actor *John Tucker, NHL hockey player *John Tucker, lacrosse player and coach *John Randolph Tucker (1823 1897), United States Representative from Virginia *John V.… …   Wikipedia

  • John White Brockenbrough — (December 23, 1806 February 20, 1877) was a Virginia lawyer, federal judge, and educator.His parents were William Brockenbrough and Judith Robinson White Brockenbrough. His sister was Judith White Brockenbrough McGuire, who wrote Diary of a… …   Wikipedia

  • Tucker — ist der Familienname folgender Personen: Abi Tucker (* 1973 als Abigail Anne Tucker), australische Schauspielerin und Rocksängerin Albert William Tucker (1905–1995), US amerikanischer Mathematiker Audrey Tucker (* um 1957), australische… …   Deutsch Wikipedia

  • John Tucker — John G. Tucker (born September 29, 1964) is a former Canadian professional ice hockey centre who played twelve seasons in the National Hockey League in the 1980s and 90s, most notably with the Buffalo Sabres and the Tampa Bay Lightning, scoring… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”