Steve Vickers works on topos theory and pointfree topology, but also
He was responsible for the adaptation of the 4K ZX80 ROM into the 8K ROM used in the ZX81 and also wrote the ZX81 manual. He then wrote most of the ZX Spectrum ROM, and assisted with the user documentation.