John Truss was born in April 1947.[2][3] He graduated from King's College, Cambridge, in 1968 and earned his PhD at the University of Leeds in 1973 for a dissertation titled "Some Results about Cardinal Numbers without the Axiom of Choice" which was supervised by Frank Drake.[4] In 1969, he married Priscilla Mary Grasby, a nurse,[5] who he had met while they were students at Cambridge.[5] Together, they have a daughter, Liz Truss, and three sons.[6] Liz Truss has described her parents' politics as "to the left of Labour".[7] Truss and his wife were both supporters of the Campaign for Nuclear Disarmament.[8] They divorced in 2003.[5]
Truss's first academic position was as a junior research fellow at the Mathematical Institute of the University of Oxford.[10] He then taught at a school in Kidderminster,[11] Worcestershire, before lecturing at Paisley College of Technology from 1979 to 1985.[5] In 1987, he worked at Simon Fraser University[12] in British Columbia, Canada, and later at the University of Leeds where in 1988 with Frank Drake he edited the collected papers of Logic Colloquium '86, held at the University of Hull in 1986.[13]
In 1990, Peter Cameron paid tribute to Truss in his notes on Oligomorphic Permutation Groups in the London Mathematical Society Lecture Notes Series No. 152, for saving him from "making some rash conjectures (by disproving them)", and "notably" for his contribution to the question of what are the possible cycle structures of automorphisms of M?[14] In 1991, Truss published Discrete Mathematics for Computer Scientists which John Bayliss described in The Mathematical Gazette as "masterful and thorough" and getting "rapidly to the heart of some very exciting topics" but felt that it was more of a mathematician's book than a book for computer scientists as claimed by the author. Nonethless, Bayliss felt that the approach taken by Truss in organising and presenting his material was highly successful in condensing different strands of mathematics so that the author had shown that "discrete mathematics has come of age and is no longer a collection of disparate topics."[15]
Cooper, S. Barry; Truss, John K., eds. (1999). Models and Computability. London Mathematical Society Lecture Note Series. Cambridge: Cambridge University Press. doi:10.1017/cbo9780511565670. ISBN978-0-521-63550-9.
^Skowron, Andrzej (1989). "Review of Logic Colloquium '86". Studia Logica. 48 (3): 396–400. ISSN0039-3215. JSTOR20015451.
^Cameron, Peter J. (1990). Oligomorphic Permutation Groups. London Mathematical Society Lecture Notes Series No. 152. Cambridge: Cambridge University Press. pp. v, 3, 86, 104. ISBN 0-521-38836-8