Steve Vickers (computer scientist)

Steve Vickers
Steve Vickers
Citizenship	United Kingdom
Alma mater	University of Cambridge University of Leeds
Known for	Topology via Logic ZX Spectrum ROM firmware
Scientific career
Fields	Computer science Mathematics
Institutions	Imperial College London The Open University University of Birmingham
Thesis	Universal strongly regular rings  (1979)
Doctoral advisor	Alfred Goldie

Steve Vickers (born c. 1953)^[1] 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.^[2][3] 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^[4]). 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.