EPSRC logo
Researcher Details
 
Name: Dr SJ Vickers
Organisation: University of Birmingham
Department: School of Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/G046298/1 Applications of geometric logic to topos approaches to quantum theory(P)
GR/K54663/01 FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE(C)
GR/J14462/01 FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator