Concept

Steve Vickers (computer scientist)

Résumé

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. Vickers graduated from King's College, Cambridge with a degree in mathematics and completed a PhD at Leeds University, also in mathematics. In 1980 he started working for Nine Tiles, which had previously written the Sinclair BASIC for the ZX80. 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. Vickers left in 1982 to form "Rainbow Computing Co." with Richard Altwasser. The company became Jupiter Cantab and they were together responsible for the development of the commercially unsuccessful Jupiter ACE, a competitor to the similar ZX Spectrum. Originally at the Department of Computing at Imperial College London, Vickers later joined the Department of Pure Mathematics at the Open University before moving to the School of Computer Science at the University of Birmingham, where he is currently a senior lecturer and the research student tutor of the School of Computer Science. Vickers' main interest lies within geometric logic.

Source officielle

https://en.wikipedia.org/wiki/Steve_Vickers_(computer_scientist)

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.