Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Nobuko Yoshida
Nobuko Yoshida - B.Sc., M.Sc.,
Ph.D. EPSRC Advanced Fellow (1st October 2004 -- 30 September 2009)
Research
Research Themes:
A theory of concurrent and mobile computation.
Currently I'm working on:
secure information flow analysis
access control of mobile computing
typing systems for concurrent computation and programming
atoms for concurrent mobile processes
semantics of concurrency and functional programming
Professional Activities:
Web Services Choreography Working Group
Invited Expert
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.
FoSSaCs 2008
Foundations of Software Science and Computation Structures (a member conference of ETAPS), Budapest, Spring 2008.
Programme Committee Member.
CONCUR 2007
the 18th International Conference on Concurrency Theory,
Programme Committee Member.
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.
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.
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
EPSRC Grant:
Engineering Foundations of Web Services
(Principal Investigator at Imperial);
with Kohei Honda (Queen Mary)
and Simon Gay (Glasgow);
June 2008 - Current
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 - Current
EU Project:
MOBIUS
(Mobility, Ubiquity and Security)
with Sophia Drossopoulou; Sep 2005 -- Current.
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.
Teaching
Group and Individual Project Proposals for IC Students
Declarative Programming 1 (JMC)
Photo (1)
Photo (2)
Concurrent Programming Previous Courses
The Pi-Calculus.
Midlands Graduate School
in the Foundations of Computing Science
Artificial Intelligence and Knowledge Engineering.
Communication and Concurrency.
Expert Systems and Knowledge Engineering.
Brief CV
Education
Ph.D.(CS)
Joint Supervised by University of Keio and University of Manchester.
M.Sc.(CS) University of Keio.
B.Sc. (EEng) University of Keio. Position
10/2004 EPSRC Advanced Fellowship
07/2002 Lecturer in Department of Computing at Imperial College
11/1999 Lecturer in Department of Maths and Computer Science at University of Leicester
05/1998 Research Fellow of
the School of Cognitive and Computing Sciences
at Sussex University.
04/1997
Research Fellow
of the Japan Society for the Promotion of Science
for Japanese Junior Scientists.