|
| Name: |
Professor N Yoshida |
| Organisation: |
Imperial College London |
| Department: |
Computing |
| Current EPSRC-Supported Research
Topics: |
|
Computer Sys. & Architecture
|
Electronic Devices & Subsys.
|
|
Fundamentals of Computing
|
Networks & Distributed Systems
|
|
Parallel Computing
|
Software Engineering
|
|
VLSI Design
|
|
|
| Current EPSRC Support |
| EP/T014709/1 | Session Types for Reliable Distributed Systems (STARDUST) | (P) |
| EP/V000462/1 | AppControl: Enforcing Application Behaviour through Type-Based Constraints | (C) |
| 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) |
|
| Previous EPSRC Support |
| 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
|
| |
|
|
|
|