EPSRC logo
Researcher Details
Name: Professor N Yoshida
Organisation: Imperial College London
Department: Dept of Computing
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Electronic Devices & Subsys.
Fundamentals of Computing Parallel Computing
Software Engineering VLSI Design

Current EPSRC Support
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)
Previous EPSRC Support
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