Imperial College London


Faculty of EngineeringDepartment of Computing

Professor of Computing



+44 (0)20 7594 8240n.yoshida Website




556Huxley BuildingSouth Kensington Campus





Dr Yoshida undertook her BSc and MSc at the University of Keio, Japan, before completing her PhD jointly at the universities of Keio and Manchester.  Following research fellowships at the Japan Society for the Promotion of Science for Japanese Junior Scientists and the School
of Cognitive and Computing Sciences at Sussex University, Dr Yoshida worked as a Lecturer in the Department of Maths and Computer Science at University of Leicester.  She joined the Department of Computing at Imperial in 2002 as a Lecturer, and is currently a Reader and an EPSRC Advanced Fellow.

Dr Yoshida's research interests are focused on the theory of concurrent and mobile computation. Currently she is working on: semantics and type theory for concurrency and mobile processes; web services; concurrent and distributed object-oriented programming languages; secure information flow analysis; access control of mobile computing; and Hoare logic for higher-order imperative functions.

She has acted as a programme co-chair of CONCUR'94 and a committee member for several conferences.  She is an invited expert for the Web Services Choreography Working Group.



Graversen E, Phillips I, Yoshida N, 2022, Event structures for the reversible early internal π-calculus, Journal of Logical and Algebraic Methods in Programming, Vol:124, ISSN:2352-2208, Pages:1-46

Toninho B, Yoshida N, 2021, On polymorphic sessions and functions: A tale of two (fully abstract) encodings, Acm Transactions on Programming Languages and Systems, Vol:43, ISSN:0164-0925, Pages:1-55


Yoshida N, Ferreira Ruiz F, Zhou F, Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types, FCT 2021 - 23rd International Symposium on Fundamentals of Computation Theory, Springer Verlag, ISSN:0302-9743

Medic D, Mezzina CA, Phillips I, et al., 2021, Towards a formal account for software transactional memory, Twelfth International Conference on Reversible Computation, Springer Verlag, Pages:255-263, ISSN:0302-9743

Castro-Perez D, Ferreira Ruiz F, Gheri L, et al., Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes, PLDI 2021, Association for Computing Machinery (ACM)

More Publications