EPSRC logo
Researcher Details
 
Name: Professor N Yoshida
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Fundamentals of Computing
Networks & Distributed Systems Software Engineering

Current EPSRC Support
EP/Y005244/1 Verified Simulation for Large Quantum Systems (VSL-Q)(C)
EP/T014709/2 Session Types for Reliable Distributed Systems (STARDUST)(P)
EP/T006544/2 POST: Protocols, Observabilities and Session Types(P)
EP/X015955/1 Morello-HAT: Morello High-Level API and Tooling(C)
EP/V000462/1 AppControl: Enforcing Application Behaviour through Type-Based Constraints(C)
Previous EPSRC Support
EP/N027833/2 Turtles: Protocol-Based Foundations for Distributed Multiagent Systems(P)
EP/T014709/1 Session Types for Reliable Distributed Systems (STARDUST)(P)
EP/T006544/1 POST: Protocols, Observabilities and Session Types(P)
EP/P010040/1 Application Customisation: Enhancing Design Quality and Developer Productivity(C)
EP/N028201/1 Border Patrol: Improving Smart Device Security through Type-Aware Systems Design(C)
EP/N027833/1 Turtles: Protocol-Based Foundations for Distributed Multiagent Systems(P)
EP/L00058X/1 Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems(C)
EP/K011715/1 Conversation-Based Governance for Distributed Systems by Multiparty Session Types(P)
EP/K034413/1 From Data Types to Session Types---A Basis for Concurrency and Distribution(C)
EP/G015635/1 Multiparty Session Types: Theory and Conversation-Oriented Programming(P)
EP/F003757/1 Engineering Foundations of Web Services: Theories and Tool Support(P)
GR/T03215/01 Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness(P)
GR/T25811/01 CONCUR 2004: Fifteenth International Conference on Concurrency Theory(C)
GR/T04724/01 Program Analysis and the Pi-Calculus: Foundations and Applications to Security(P)
GR/T03208/01 Type-Based Security for Mobile Computing:Integrity, Secrecy and Liveness(P)
GR/S55538/01 Towards Semantics-Preserving Secure Language Infrastructure: Foundations & Applications to Secure Information Flow(P)
GR/S68071/01 Dynamic Net Data: Theory and Experiment(C)
GR/R33465/02 Foundations for Safe Mobile Software: Processes, Types and Semantics(P)
GR/R33465/01 Foundations for Safe Mobile Software: Processes, Types and Semantics(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator