Dr Steven Vickers
Senior Lecturer
Contact details
Telephone (+44) (0)121 414 3743
Office 215 (Y9 Computer Science Building)
Email S.J....@cs.bham.ac.uk (click the ... to reveal)
Web http://www.cs.bham.ac.uk/~sjv/
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK
About
Research Interests
I am a member of the Mathematical
Foundations of Computer Science research group.
My particular research interests are in geometric logic, topology and
topos theory, with an EPSRC project now to investigate connections with the foundations
of quantum physics.
For further information, see my home page.