Nobuko Yoshida - B.Sc., M.Sc., Ph.D.

 
Department of Computing 
Imperial College London 
180 Queen's Gate 
Room 556
South Kensington Campus
SW7 2AZ
Office: +44 (0)20 759 48240 
Fax: +44 (0)20 7581 8024
Email: yoshida at doc.ic.ac.uk

 
  Imperial Link  
 
  Mobility Reading Group   This project page contains all of my recent publications.
 
  Models for Concurrent Computation  
 
  Concurrency: State Models and Java Programming  
 
 

Professional Activities:
   RedHat JBoss Scribble    Team Member
   Scribble Project Home Page    Scribble GitHub
   RedHat JBoss Savara    Partner
   Ocean Observatories Initiative    PI at Imperial   London OOI Meeting
   Pi4Tech Adviser
   Web Services Choreography Working Group Invited Expert
   TrustCare Partner
Program Chairs and Committee Members:
   ESOP 2014 23rd European Symposium on Programming; Programme Committee Member.
   CONCUR 2013 the 24th International Conference on Concurrency Theory, Conference on Concurrency Theory, Programme Committee Member.
   DEBS 2012 The 6th ACM International Conference on Distributed Event-Based Systems, Programme Committee Member.
   FMOODS/FORTE 2013 The 15th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 33rd Formal Techniques for Networked and Distributed Systems (FORTE), Programme Committee Member.
   LICS 2013 29th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, Programme Committee Member.
   PLACES 2013 The 6th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Programme Chair.
   TGC 2012 7th International Symposium on Trustworthy Global Computing, Programme Committee Member.
   DEBS 2012 The 6th ACM International Conference on Distributed Event-Based Systems, Programme Committee Member.
   POPL 2012 The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Programme Committee Member.
   ICDCIT 2012 The 8th International Conference on Distributed Computing and Internet Technologies, Programme Committee Member.
   TLCA 2011 The 10th International Conference on Typed Lambda Calculi and Applications. Programme Committee Member.
   FMOODS/FORTE 2011 The 13th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 30th Formal Techniques for Networked and Distributed Systems (FORTE), Programme Committee Member.
   FoSSaCS 2011 14th International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, Programme Committee Member.
   ICDCIT 2011 The 7th International Conference on Distributed Computing and Internet Technologies, Programme Committee Member.
   WS-FM 2011, the 8th International Workshop on Web Services and Formal Methods, Programme Committee Member.
   WWV 2011, the 7th International Workshop on Automated Specification and Verification of Web Systems Programme Committee Member.
   PLACES 2011 4th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Programme Committee Member.
   FMOODS/FORTE 2010 12th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 30th Formal Techniques for Networked and Distributed Systems (FORTE), Programme Committee Member.
   TGC 2010 The Fifth International Symposium on Trustworthy Global Computing, Programme Committee Member.
   FLOPS 2010 Tenth International Symposium on Functional and Logic Programming, Programme Committee Member.
   PLACES 2010 3rd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Programme Committee Member.
   GaLoP 2010 the 5th International Workshop, Games for Logics and Programming -- --Languages, Programme Committee Member.
   CONCUR 2009 20th International Conference on Concurrency Theory, Programme Committee Member.
   ICEs 2009 2nd International Workshop on Interaction and Concurrency Experiences, Programme Committee Member.
   MALLOW-AWESOME'09 International Multi-Agent Logics, Languages, and Organisations
   SOFTEM 2009 35th International Conference on Current Trends in Theory and Practice of Computer Science, Programme Committee Member.
   APLAS 2008 The Eighth ASIAN Symposium on Programming Languages and Systems, Programme Committee Member.
   CONCUR 2008 the 19th International Conference on Concurrency Theory, Programme Committee Member.
   PLACES 2008 the 1st International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Programme Committee Co-Chair.
   POPL 2008 the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Programme Committee Member.
   CONCUR 2007 the 18th International Conference on Concurrency Theory, Programme Committee Member.
   TGC 2007 The Third International Symposium on Trustworthy Global Computing, Programme Committee Member.
   MALLOW-AWESOME'07 International Multi-Agent Logics, Languages, and Organisations
   FSTTCS 2006 The 26th International Conference, Foundations of Software Technology and Theoretical Computer Science, Programme Committee Member.
   APLAS 2006 The Fourth ASIAN Symposium on Programming Languages and Systems, Programme Committee Member.
   SeCRet 2006 1st International Workshop on Security and Rewriting Techniques, Programme Committee Member.
   CONCUR 2004 Fifteenth International Conference on Concurrency Theory, Programme Co-Chair.
   FoSSaCs 2005 in Foundations of Software Science and Computation Structures, the European Joint Conferences on Theory and Practice of Software (ETAPS), Programme Committee Member.
   GT-VC 2005 Graph Transformation for Verification and Concurrency, Programme Committee Member.
   DCM 2005 1st International Workshop on New Developments in Computational Models, Programme Committee Member.
   FSTTCS 2002 the 22nd International Conference, Foundation of Software Technology and Theoretical Computer Science: Programme Committee Member.
   PLI 1999 Principles, Logics, and Implementations of High-Level Programming Languages: Programme Committee Member.
   OOSDS 1999 Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours: Organiser


Research Grants
   Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems    (Co-PI: Principal Investigator at Imperial); with Wim Vanderbauwhede (PI at Glasgow), Prof Sven-Bodo Scholz (Co-PI: PI at Heriot-Watt); Oct 2013 -
   Conversation-Based Governance for Distributed Systems by Multiparty Session Types    (Principal Investigator at Imperial); with Kohei Honda (Queen Mary); Jan 2013 - Current
   From Data Types to Session Types---A Basis for Concurrency and Distribution    (Co-PI: Principal Investigator at Imperial); with Phil Wadler (Edinburgh) and Simon Gay (Glasgow); May 2013 - Current
   NSF Grant: Ocean Observatories Initiative (Subcontract for OOI CI) Conversations and Governance    (Principal Investigator at Imperial); with Kohei Honda (Queen Mary); Nov 2011 - Current
   VMWare Dynamic Assurance based on Multiparty Session Types    (Principal Investigator at Imperial); with Kohei Honda (Queen Mary); July 2009 - Current
   EPSRC Grant: Multiparty Session Types: Theory and Conversation-Oriented Programming    (Principal Investigator at Imperial); with Kohei Honda (Queen Mary); July 2009 - Dec 2012
   EPSRC Grant: Engineering Foundations of Web Services    (Principal Investigator at Imperial); with Kohei Honda (Queen Mary) and Simon Gay (Glasgow); June 2008 - Nov 2011
   British Council Portugal, Treaty of Windsor: Language Design for Web Services (Principal Investigator at UK site); with Vasco Vasconcelos (University of Lisbon) and Kohei Honda (Queen Mary).
   EPSRC Grant: Type-Based Security for Mobile Computing: Integrity, Secrecy and Liveness    (Principal Investigator at Imperial); October 2006 - October 2009
   EU Project: MOBIUS (Mobility, Ubiquity and Security) with Sophia Drossopoulou; Sep 2005 -- Sep 2009.
   EPSRC Grant: Program Analysis and the Typed Pi-Calculus    (Principal Investigator at Imperial with Chris Hankin and Herbert Wiklicky and Kohei Honda and Martin Berger at Queen Mary); Nov 2004 - Dec 2007.
   EPSRC Grant: Towards Semantics-Preserving Secure Language Infrastructure: Foundations and Applications to Secure Information Flow
       (Principal Investigator at Imperial with Kohei Honda and Martin Berger at Queen Mary); Nov 2003 - April 2007.
   EPSRC Grant: Foundations for Safe Mobile Software: Processes, Types and Semantics (Principal Investigator) June 2001 - Dec 2004.
   EPSRC Grant: Modelling Dynamic Net Data: Theory and Experiences
       (Co-Investigator) with Philippa Gardner; Nov 2003 - Oct 2006.


Photo (1)    Photo (2)