| 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 |
| 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
Main Publications (Please let me know if you cannot
access the papers)
Models for Concurrent Computation
Concurrency: State Models and Java Programming
Professional Activities:
RedHat JBoss Scribble
Team Member
RedHat JBoss Savara
Partner
Ocean Observatories Initiative
PI at Imperial
London OOI Meeting
Pi4Tech
Advisor
Web Services Choreography Working Group
Invited Expert
TrustCare
Partner
ISO 20022 UNIversal Financial Industry message scheme
Program Chairs and Committee Members:
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
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 Assuarance 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 - Current
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
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