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)
CONCUR 2008
the 19th International Conference on Concurrency Theory,
Programme Committee Member.
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:
Foundations for
Safe Mobile Software: Processes, Types and Semantics
(Principal Investigator) June 2001-.
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 - Oct 2006.
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 - Oct 2007.
EPSRC Grant:
Type-Based Security for Mobile Computing:
Integrity, Secrecy and Liveness
(Principal Investigator at Imperial); October 2006 - September 2009.
One research assistant position is available from October 2006 for three years.
Please contact with me
if you are interested in.
EU Project:
MOBIUS
(Mobility, Ubiquity and Security)
with Sophia Drossopoulou; Sep 2005 --.
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.