MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Prof Nobuko Yoshida
Professor of Computing
Publications

Nobuko Yoshida is Professor of Computing. She has applied session types to Web services and programming languages, and introduced multiparty session types. Based on Multiparty session types, she established JBoss Red Hat Scribble project. She was awarded a CNRS visiting fellowship and visiting professorship at Paris VII. She is an editor of Journal of Logical Algebraic Methods in Programming, the chief editor of The Computer-aided Verification and Concurrency Column for EATCS Bulletin and the editor of Acta Informatica. She has served as a PC member for over 50 conferences in the past five years. She was regularly invited to give the key note talks – recent invited talks include 8th International Symposium on Trustworthy Global Computing (TGC 2013) at Buenos Aires and Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications in 2014. She is a member of IFIP 2.4, and the JBoss Red Hat Savara and Scribble Projects. Her industry partners include Cognizant, Red Hat, VMware, Pivotal and Ocean Observatories Initiative.

Department of Computing Imperial College London 180 Queen's Gate Room 556 South Kensington Campus London SW7 2AZ
  • Tel: +44(0)20 759 48240
  • Fax: +44(0)20 758 18024

Publications

2016
2015
2014
2013
2012
2011
2010
2009
2008

Teaching

Concurrent Processes
406H Concurrent Processes
Course webpage Course details
Concurrent Programming
528 Concurrent Programming
Course webpage Course details

Editorial Works

Professional Activities

PC Members and Chairs