EPSRC logo
Researcher Details
 
Name: Professor S Abramsky
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/T00696X/1 Resources and co-resources: a junction between semantics and descriptive complexity(P)
Previous EPSRC Support
EP/N018745/1 Contextuality as a Resource in Quantum Computation(P)
EP/M013243/1 UK Quantum Technology Hub: NQIT - Networked Quantum Information Technologies(C)
EP/K015478/1 Quantum Mathematics and Computation(P)
EP/I03596X/1 Structures at the Interface of Physics and Computer Science(P)
EP/I001301/1 Logic and Information Flow in Classical and Quantum Systems(P)
EP/F067607/1 Logic of Interaction and Information Flow(P)
EP/E052819/1 Foundational Structures and Methods for Quantum Informatics(P)
EP/D037085/1 Centre for Metacomputation(P)
EP/C536878/1 Polarized Logic, Geometry of Interaction, and Quantum Computation(P)
EP/C500032/1 High-Level Methods For Quantum Computation and Information(P)
GR/S57518/01 Foundations of Probablistic & Quantum Computation(P)
GR/R88861/01 Algorithmic game semantics and its applications(P)
GR/R87376/01 Coalgebraic Programming of Games(P)
GR/R84283/01 Geoemtry of Interaction and the Foundations of Reversible and Quantum Computing(P)
GR/M75860/01 GAMES FOR COMPLEXITY AND PROBABILITY(P)
GR/M46013/01 COMBINING ELEGANCE AND EFFICIENCY IN PROGRAMMMING LANGUAGES: A TYPE-THEORETIC APPROACH(P)
GR/L39346/01 TYPED CONCURRENT OBJECT-ORIENTED LANGUAGES: FOUNDATIONS, METHODS AND TOOLS(P)
GR/K54663/01 FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE(P)
GR/J65822/01 TYPE SYSTEMS AND THE FOUNDATIONS OF IMPERATIVE PROGRAMMING(P)
GR/J14462/01 FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE(P)
GR/G57895/01 FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE(P)
GR/G24576/01 FOUNDATIONS OF MODULAR SEMANTICS FOR DATA FLOW AND GENERAL NETS(P)
GR/F72475/01 FOUNDATIONAL MODELS FOR SOFTWARE ENGINEERING(P)
GR/F97782/01 FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator