|
| Name: |
Professor N Yoshida |
| Organisation: |
University of Oxford |
| Department: |
Computer Science |
| Current EPSRC-Supported Research
Topics: |
|
Artificial Intelligence
|
Computer Sys. & Architecture
|
|
Fundamentals of Computing
|
Manufact. Enterprise Ops& Mgmt
|
|
Networks & Distributed Systems
|
Software Engineering
|
|
| Current EPSRC Support |
| EP/Z533749/1 | IDEAL: Reducing Carbon Footprints of IoT Devices through Extension of Active Lifespans | (C) |
| 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
|
| |
|
|
|
|