Steve Vickers (nacido en 1953) es un matemático e informático británico. A comienzos de los años 80 escribió el firmware ROM y los manuales para tres modelos de ordenadores, el Sinclair ZX81, Sinclair ZX Spectrum y Jupiter Ace. Este último fue producido por Jupiter Cantab, una compañía que estuvo muy poco tiempo vigente formada por Vickers y Richard Altwasser, cuando ambos dejaron Sinclair Research en 1982. Años más tarde, a finales de los años 80, Vickers comenzó a desarrollar trabajos como académico en el campo de lógica geométrica, escribiendo más de 30 artículos en revistas especializadas en los aspectos matemáticos de la informática. Su libro Topology via Logic es una referencia para una amplia gama de campos de investigación (incluyendo el de la física teórica, donde Christopher Isham del Imperial College London ha citado a Vickers como una influencia temprana en su trabajo en topos y en gravedad cuántica). Vickers es actualmente Conferenciante Senior en la Universidad de Birmingham.
Vickers se graduó en matemáticas en el King's College de Cambridge, y se doctoró en matemáticas en la Universidad de Leeds.
En el año 1980 empezó a trabajar para la empresa Nine Tiles, que había escrito el Sinclair BASIC para el modelo ZX80. Vickers fue el responsable de la adaptación de la ROM de 4 Kb del ZX80 en la ROM de 8 Kb utilizada en el ZX81, y escribió su manual. Asimismo escribió la mayor parte de la ROM del ZX Spectrum y colaboró en la elaboración de su documentación.
Vickers dejó Sinclair Research en el año 1982 para fundar la compañía Rainbow Computing Co. con Richard Altwasser. La compañía se renombró a Jupiter Cantab, y fueron responsables del desarrollo del fallido ordenador personal Jupiter Ace, un modelo que pretendía competir con el ZX Spectrum.
Comenzó a trabajar en el Departamento de Computación delImperial College London. Posteriormente se adscribió al Departamento de Matemáticas Puras en la Open University para cambiar posteriormente a la School of Computer Science de la Universidad de Birmingham, donde es actualmente Conferenciante Senior y Tutor de Investigación Estudiante de la escuela de Informática.
El principal interés académico de Vickers es el campo de la geometría lógica. Su libro Topology via Logic introduce la topología desde el punto de vista computacional, inicialmente desarrollada por Samson Abramsky y Mike Smyth. Se centra en una aproximación de punto-libre, y se puede interpretar como el tratamiento de teorías denominadas lógico-geométricas, también denominada teoría de topos, una forma más rigurosa de la lógica intuitiva.
Escribe un comentario o lo que quieras sobre Steve Vickers (directo, no tienes que registrarte)
Comentarios
(de más nuevos a más antiguos)