Steve Vickers | Academic Influence

Steve Vickers 's AcademicInfluence.com Rankings

Steve Vickers

Computer Science

#2097

World Rank

#2179

Historical Rank

computer-science Degrees

Steve Vickers

Mathematics

#2406

World Rank

#3727

Historical Rank

Measure Theory

#4183

World Rank

#4928

Historical Rank

mathematics Degrees

Download Badge

Computer Science
Mathematics

Steve Vickers 's Degrees

PhD Mathematics Princeton University
Masters Computer Science Stanford University

Similar Degrees You Can Earn

Best Online Master's in Computer Science

Why Is Steve Vickers Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Steve Vickers 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 . 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.

(See a Problem?)

Steve Vickers 's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Topology via Logic (1989) (385)
Quantales, observational logic and process semantics (1993) (230)
Information Systems for Continuous Posets (1993) (76)
Localic completion of generalized metric spaces I (2005) (73)
Locales and Toposes as Spaces (2007) (67)
Partial Horn logic and cartesian categories (2007) (65)
A universal characterization of the double powerlocale (2004) (57)
Constructive points of powerlocales (1997) (53)
Topical categories of domains (1999) (45)
Locales are Not Pointless (1994) (40)
THE DOUBLE POWERLOCALE AND EXPONENTIATION: A CASE STUDY IN GEOMETRIC LOGIC (2004) (33)
Compactness in locales and in formal topology (2006) (32)
Geometric Logic in Computer Science (1993) (31)
Applications of Categories in Computer Science: Geometric theories and databases (1992) (30)
Presenting Dcpos and Dcpo Algebras (2008) (30)
Preframe presentations present (1991) (29)
A localic theory of lower and upper integrals (2008) (28)
Sublocales in formal topology (2007) (23)
Entailment systems for stably locally compact locales (2004) (22)
Localic sup-lattices and tropological systems (2003) (21)
Strongly algebraic = SFP (topically) (2001) (17)
Localic completion of generalized metric spaces II: Powerlocales (2009) (17)
Some constructive roads to Tychonoff (2005) (16)
Topology via constructive logic (1999) (16)
An induction principle for consequence in arithmetic universes (2012) (15)
The connected Vietoris powerlocale (2009) (13)
Generalised powerlocales via relation lifting (2012) (12)
Geometric logic as a Specification Language (1994) (12)
Continuity and geometric logic (2014) (11)
Issues of Logic, Algebra and Topology in Ontology (2010) (11)
The Born rule as structure of spectral bundles (extended abstract) (2012) (10)
Gelfand spectra in Grothendieck toposes using geometric mathematics (2013) (10)
Sketches for arithmetic universes (2016) (8)
Presheaves as Configured Specifications (2001) (7)
LOCALIC COMPLETION OF QUASIMETRIC SPACES (1997) (7)
Positivity relations on a locale (2016) (6)
Fuzzy sets and geometric logic (2010) (6)
Cosheaves and connectedness in formal topology (2012) (5)
Arithmetic universes and classifying toposes (2017) (5)
Fibrations of AU-contexts beget fibrations of toposes. (2018) (4)
A language for configuring multi-level specifications (2006) (3)
Observa-tional logic and process semantics (1993) (3)
Towards a GeoZ Toolkit (1994) (2)
Continuity is Geometricity (2011) (2)
Geometric constructions preserve fibrations (2014) (1)
Point-free Construction of Real Exponentiation (2021) (1)
Generalized point-free spaces, pointwise (2022) (1)
The localic compact interval is an Escardó‐Simpson interval object (2015) (1)
An Algorithmic Approach to the p-adic Integers (1987) (1)
University of Birmingham Presenting Dcpos and Dcpo Algebras (2008) (0)
Cosheaves and connectedness in formal topology (to appear in Annals of Pure and Applied Logic) (2009) (0)
University of Birmingham A Language for Configuring Multi-Level Specifications (2009) (0)
25 – Formal implementation (1991) (0)
A Fixpoint Construction of the p-adic Domain (1987) (0)
Sketches for arithmetic universes1 (2019) (0)
Sketches for arithmetic universes1 (2019) (0)
Domain Theory in Topical Form (2013) (0)
University of Birmingham Generalised powerlocales via relation lifting (2012) (0)
Applications of geometric logic to topos approaches to quantum theory (2009) (0)

This paper list is powered by the following services:

Other Resources About Steve Vickers

en.wikipedia.org

What Schools Are Affiliated With Steve Vickers ?

Steve Vickers is affiliated with the following schools:

Image Attributions

Image Source for Steve Vickers