Steve Vickers (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]).

Extending the ideas to toposes (as generalised spaces) he found himself channelled into constructive mathematics in a geometric form and in Topical Categories of Domains he set out a geometrisation programme of, where possible, using this geometric mathematics as a tool for treating point-free spaces (and toposes) as though they had "enough points".