معرفی
Prof. Nobuko Yoshida is a Reader in the Department of Computing at Imperial College London, part of the Faculty of Engineering. She holds an EPSRC Advanced Fellowship. Her research focuses on concurrent and mobile computation, including semantics of processes, web services, secure information flow, and access control in mobile computing.
Education: BSc and MSc from Keio University (Japan), PhD from Keio and Manchester Universities. Former positions include Lecturer at the University of Leicester and research fellowships at JSPS and Sussex University.
Research interests span theory of concurrency, type systems for distributed systems, and formal methods like Hoare logic for higher-order programming. She contributed to the Web Services Choreography Working Group and served as programme co-chair for CONCUR'94 and conference committee member.
Awards: EPSRC Advanced Fellowship. Affiliations: Secure Software Systems and Programming Languages groups at Imperial.
