Steve Vickers
Dr Steve Vickers
School of Computer Science

Research
My particular research interests are in geometric logic, topology and topos theory. These are areas of mathematics that have connections with computer science, although my work in them is often purely mathematical. A particular focus at present, which was funded by an EPSRC grant, is the connections with some new topos approaches to quantum physics.
On the research page you can also find opportunities for PhD study with me.
I am a member of the Theoretical Computer Science research group.
Before I joined Birmingham I was at the Department of Pure Maths at the Open University, and before that I was at the Department of Computing at Imperial College, where I worked in the Theory and Formal Methods group.
You can download many of my papers and talks, and also theses of some of my former PhD students.
For theee years from September 2009 I was principal investigator on an EPSRCfunded project Applications of geometric logic to topos approaches to quantum theory, an interdisciplinary project to apply my mathematical research to some new applications of topos theory to physics.
Teaching
At present (first part of the academic year 201314) I am on sick leave. Courses I have taught, and for which you can access my course material, include
 Introduction to Computer Science
 Software Workshop 1 (you may like to play with my turtle graphics applet)
 Quantum Computing and Cryptography
 Models of Computation
You can also see some individual projects I might supervise and my project orientation lecture slides on "Writing good dissertations".
In the 2010 Midland Graduate School in the Foundations of Computer Science I taught an advanced course on Quantum Topos Theory.
Admin
I am normally Research Students Tutor. During my sick leave, Peter Hancox is covering those duties for me.
For more information for research students, see the online handbook.
I do not deal with admissions to research degree programmes (PhD or MPhil in Computer Science or Cognitive Science)  our admissions page is here. But if you are interested in studying for a PhD with me, please see my Research page and feel free to contact me.
Previous lives
My PhD (at Leeds) was in algebra under the supervision of Alfred Goldie, and my thesis was "Universal Strongly Regular Rings" (1979).
After that I was a computer programmer for several years. I wrote the ROM and user manuals for two Sinclair computers, the ZX81 and the ZX Spectrum. Then with Richard Altwasser I founded Jupiter Cantab Ltd, which produced the Forthbased Jupiter Ace microcomputer.