Steve Vickers (computer scientist)
Steve Vickers (born c. 1953) is a British
mathematician and
computer scientist. In the early 1980s, he wrote
ROM firmware and manuals for three
home computers, the
ZX81,
ZX Spectrum, and
Jupiter Ace. The latter was produced by
Jupiter Cantab, a short-lived company Vickers formed together with
Richard Altwasser, after the two had left
Sinclair Research. Since the late 1980s, Vickers has been an academic in the field of geometric logic, writing over 30 papers in scholarly journals on mathematical aspects of computer science. His book ''Topology via Logic'' has been influential over a range of fields (extending even to
theoretical physics, where
Christopher Isham of
Imperial College London has cited Vickers as an early influence on his work on
topoi and
quantum gravity). In October 2018, he retired as senior lecturer at the
University of Birmingham. As announced on his university homepage, he continues to supervise PhD students at the university and focus on his research.
Provided by Wikipedia
-
1
