John Vivian Tucker is a British computer scientist and expert on computability theory, also known as recursion theory. His work has focused 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.



