This HTML5 document contains 176 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n20https://dblp.org/pid/v/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n23https://web.archive.org/web/20110516082258/http:/www.sincuser.f9.co.uk/004/
n18https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n6http://www.cs.bham.ac.uk/~sjv/
n29http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
n27http://viaf.org/viaf/
n13http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n25http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:Steve_Vickers_(computer_scientist)
rdf:type
yago:Professional110480253 dbo:Species yago:Scholar110557854 yago:Adult109605289 yago:Organism100004475 yago:WikicatLivingPeople yago:WikicatAcademicsOfTheOpenUniversity yago:Academician109759069 dbo:Eukaryote yago:WikicatBritishTechnologyWriters yago:Intellectual109621545 dbo:Animal wikidata:Q5 dbo:Person wikidata:Q729 yago:WikicatBritishComputerProgrammers foaf:Person yago:Person100007846 yago:Alumnus109786338 yago:Object100002684 wikidata:Q215627 yago:WikicatAlumniOfKing'sCollege,Cambridge schema:Person yago:WikicatAcademicsOfImperialCollegeLondon yago:WikicatAlumniOfTheUniversityOfLeeds wikidata:Q19088 yago:Writer110794014 owl:Thing yago:Communicator109610660 yago:Educator110045713 yago:LivingThing100004258 yago:PhysicalEntity100001930 yago:ComputerUser109951274 yago:Whole100003553 wikidata:Q901 yago:Scientist110560637 yago:CausalAgent100007347 yago:Engineer109615807 n29:NaturalPerson yago:YagoLegalActor yago:YagoLegalActorGeo yago:Programmer110481268 yago:WikicatAcademicsOfTheUniversityOfBirmingham dbo:Scientist
rdfs:label
Steve Vickers (computer scientist) Steve Vickers Steve Vickers Steve Vickers
rdfs:comment
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 Sinclair ZX81 and ZX Spectrum and the 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 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 , 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 Imper Dr. Steve Vickers és l'autor del microprogramari de la memòria ROM de l'ordinador domèstic ZX Spectrum. És actualment professor titular a la Universitat de Birmingham, Regne Unit. Steve Vickers é o autor do firmware da ROM original do computador doméstico ZX Spectrum da Sinclair. Ele também é professor na Universidade de Birmingham, no Reino Unido.
foaf:name
Steve Vickers
dbp:name
Steve Vickers
foaf:depiction
n13:Steve_Vickers_2007_(cropped).jpg
dcterms:subject
dbc:Sinclair_Research dbc:Alumni_of_the_University_of_Leeds dbc:British_technology_writers dbc:British_computer_programmers dbc:Alumni_of_King's_College,_Cambridge dbc:Year_of_birth_missing_(living_people) dbc:Academics_of_Imperial_College_London dbc:Academics_of_the_Open_University dbc:Living_people dbc:Academics_of_the_University_of_Birmingham
dbo:wikiPageID
7933796
dbo:wikiPageRevisionID
1105577427
dbo:wikiPageWikiLink
dbr:University_of_Leeds dbr:Theoretical_physics dbr:Topoi dbr:Sinclair_Research dbr:ZX_Spectrum dbr:University_of_Cambridge dbr:Computer_science dbr:Computer_Science dbr:Computer_scientist dbr:Jupiter_Ace dbc:Sinclair_Research dbr:Sinclair_BASIC dbc:Alumni_of_the_University_of_Leeds dbr:ZX81 dbr:Imperial_College dbr:ZX80 dbr:Jupiter_ACE dbr:King's_College,_Cambridge dbc:British_technology_writers dbr:Open_University dbc:British_computer_programmers dbr:University_of_Birmingham dbr:Classical_mathematics dbr:Department_of_Computing,_Imperial_College_London dbr:Topology dbr:Intuitionistic_Logic dbr:Richard_Altwasser dbr:Pointless_topology dbr:Samson_Abramsky dbr:Topos dbr:Quantum_gravity dbr:Imperial_College_London dbr:Jupiter_Cantab dbr:Firmware dbr:The_Open_University dbr:Peter_T._Johnstone dbr:Read-only_memory dbc:Year_of_birth_missing_(living_people) dbr:Leeds_University dbr:Mathematician dbc:Alumni_of_King's_College,_Cambridge dbr:Birmingham dbc:Academics_of_the_Open_University dbc:Academics_of_Imperial_College_London dbr:Christopher_Isham dbr:Alfred_Goldie dbr:Home_computer dbr:Sinclair_ZX81 dbc:Living_people dbr:Mathematics dbc:Academics_of_the_University_of_Birmingham dbr:Radboud_University_Nijmegen dbr:Constructive_mathematics
dbo:wikiPageExternalLink
n6: n23:newbiz.htm
owl:sameAs
dbpedia-ca:Steve_Vickers n18:3Xdwo n20:StevenJVickers freebase:m.026klb_ wikidata:Q3817613 dbpedia-es:Steve_Vickers n25:p070549176 dbpedia-pt:Steve_Vickers n27:206581672 yago-res:Steve_Vickers_(computer_scientist)
dbp:thesisTitle
Universal strongly regular rings
dbp:thesisYear
1979
dbp:workplaces
dbr:Imperial_College_London dbr:The_Open_University dbr:University_of_Birmingham
dbp:wikiPageUsesTemplate
dbt:Use_dmy_dates dbt:Reflist dbt:Authority_control dbt:ISBN dbt:Sinclair_computers_and_clones dbt:Infobox_scientist dbt:EngvarB
dbo:thumbnail
n13:Steve_Vickers_2007_(cropped).jpg?width=300
dbp:almaMater
dbr:University_of_Cambridge dbr:University_of_Leeds
dbp:alt
Steve Vickers sitting next to a flatscreen television which is connected to a Jupiter ACE.
dbp:caption
Steve Vickers
dbp:citizenship
United Kingdom
dbp:fields
dbr:Computer_science dbr:Mathematics
dbp:imageSize
200
dbp:knownFor
Topology via Logic ZX Spectrum ROM firmware
dbp:residence
dbr:Birmingham
dbo:abstract
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 Sinclair ZX81 and ZX Spectrum and the 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. 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 , 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. Steve Vickers é o autor do firmware da ROM original do computador doméstico ZX Spectrum da Sinclair. Ele também é professor na Universidade de Birmingham, no Reino Unido. Dr. Steve Vickers és l'autor del microprogramari de la memòria ROM de l'ordinador domèstic ZX Spectrum. És actualment professor titular a la Universitat de Birmingham, Regne Unit.
dbp:doctoralAdvisor
dbr:Alfred_Goldie
dbo:doctoralAdvisor
dbr:Alfred_Goldie
dbo:institution
dbr:University_of_Birmingham dbr:Imperial_College_London dbr:The_Open_University
gold:hypernym
dbr:Mathematician
schema:sameAs
n27:206581672
prov:wasDerivedFrom
wikipedia-en:Steve_Vickers_(computer_scientist)?oldid=1105577427&ns=0
dbo:wikiPageLength
11120
dbo:academicDiscipline
dbr:Mathematics dbr:Computer_science
dbo:almaMater
dbr:University_of_Cambridge dbr:University_of_Leeds
dbo:knownFor
dbr:ZX_Spectrum
dbo:residence
dbr:Birmingham
foaf:isPrimaryTopicOf
wikipedia-en:Steve_Vickers_(computer_scientist)