Vickers, Steven
Edit Page
Report
Scan day: 09 February 2014 UTC
23
Virus safety - good
Description: University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
School of Computer Science - Dr Steve Vickers Personal Web Page - Steve Vickers @cs.bham.ac.uk (Click ... to reveal) Office: Room 215 Computer Science 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.
Size: 479 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | School of Computer Science - Dr Steve Vickers |
| Keywords: | |
| Description: | |
| IP-address: | 147.188.192.42 |