Dr Steve Vickers School of Computer Science, The University of Birmingham, Birmingham, B15 2TT, UK. email: s.j.vickers 'at' cs.bham.ac.uk Tel: 0121-414 3743

NEWS! New research project started September 2009

EPSRC has announced funding for my proposal for a 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.

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, 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 Mathematical Foundations of 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.

Teaching

Starting 2002 I taught Software Workshop 1 (you may like to play with my turtle graphics applet). In 2009 Peter Tino takes over from me as the lead lecturer on the module, with me helping.

Starting 2009 I am also teaching Models of Computation and Quantum Computation.

Admin

Consult my personal timetable if you want to check when I am likely to be free.