John V. Tucker
Use attributes for filter ! | |
Gender | Male |
---|---|
Born | Cardiff |
United Kingdom | |
Books | Program Correctness Over Abstract Data Types, with Error-state Semantics |
Education | University of Bristol |
University of Warwick | |
Date of Reg. | |
Date of Upd. | |
ID | 1204248 |
John V. Tucker Life story
John Vivian Tucker is a British computer scientist and expert on computability theory, also known as recursion theory. Computability theory is about what can and cannot be computed by people and machines.