Mobility Reading Group

π-calculus, Session Types research at Imperial College

Professor Nobuko Yoshida

Academic Staff

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
Office:+44(0)20 759 48240
Fax:+44(0)20 758 18024

Latest News on Nobuko’s injury

See here

Editorial Work

Professional Activities

PC Members and Chairs

  • SPLASH 2015 Programme Committee Member

    ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity

  • CONCUR 2015 Programme Committee Member

    26th Conference on Concurrency Theory

  • CSL 2015 Programme Committee Member

    24th EACSL Annual Conference on Computer Science Logic

  • APLAS 2015 Programme Committee Member

    13th Asian Symposium on Programming Languages and Systems

  • PPDP 2015 Programme Committee Member

    17th International Symposium on Principles and Practice of Declarative Programming

  • ECOOP 2015 Programme Committee Member

    European Conference on Object-Oriented Programming

  • CM SAC 2015 Programme Committee Member

    Coordination Models, Language and Applications - Special track of the 30th ACM Symposium on Applied Computing (SAC'15)

  • HOPE 2015 Programme Committee Member

    4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects

  • PLACES Steering Committee Member

    Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES)

  • WS-FM:FASOCC 2014 Programme Committee Member

    11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing

  • MFPS XXX Programme Committee Member

    The Thirtieth Conference on the Mathematical Foundations of Programming Semantics

  • ESOP 2014 Programme Committee Member

    23rd European Symposium on Programming

  • CONCUR 2013 Programme Committee Member

    The 24th International Conference on Concurrency Theory

  • DEBS 2012 Programme Committee Member

    The 6th ACM International Conference on Distributed Event-Based Systems

  • FMOODS/FORTE 2013 Programme Committee Member

    The 15th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 33rd Formal Techniques for Networked and Distributed Systems (FORTE)

  • LICS 2013 Programme Committee Member

    29th Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE

  • PLACES 2013 Programme Chair

    The 6th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

  • TGC 2012 Programme Committee Member

    7th International Symposium on Trustworthy Global Computing

  • DEBS 2012 Programme Committee Member

    The 6th ACM International Conference on Distributed Event-Based Systems

  • POPL 2012 Programme Committee Member

    The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

  • ICDCIT 2012 Programme Committee Member

    The 8th International Conference on Distributed Computing and Internet Technologies

  • TLCA 2011 Programme Committee Member

    The 10th International Conference on Typed Lambda Calculi and Applications

  • FMOODS/FORTE 2011 Programme Committee Member

    The 13th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 30th Formal Techniques for Networked and Distributed Systems (FORTE)

  • FoSSaCS 2011 Programme Committee Member

    14th International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES,

  • ICDCIT 2011 Programme Committee Member

    The 7th International Conference on Distributed Computing and Internet Technologies

  • WS-FM 2011 Programme Committee Member

    the 8th International Workshop on Web Services and Formal Methods

  • WWV 2011 Programme Committee Member

    the 7th International Workshop on Automated Specification and Verification of Web Systems

  • PLACES 2011 Programme Committee Member

    4th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

  • FMOODS/FORTE 2010 Programme Committee Member

    12th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 30th Formal Techniques for Networked and Distributed Systems (FORTE)

  • TGC 2010 Programme Committee Member

    The Fifth International Symposium on Trustworthy Global Computing

  • FLOPS 2010 Programme Committee Member

    Tenth International Symposium on Functional and Logic Programming

  • PLACES 2010 Programme Committee Member

    3rd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

  • GaLoP 2010 Programme Committee Member

    the 5th International Workshop, Games for Logics and Programming Languages

  • CONCUR 2009 Programme Committee Member

    20th International Conference on Concurrency Theory

  • ICEs 2009 Programme Committee Member

    2nd International Workshop on Interaction and Concurrency Experiences

  • MALLOW-AWESOME'09

    International Multi-Agent Logics, Languages, and Organisations

  • SOFTEM 2009 Programme Committee Member

    35th International Conference on Current Trends in Theory and Practice of Computer Science

  • APLAS 2008 Programme Committee Member

    The Eighth ASIAN Symposium on Programming Languages and Systems

  • CONCUR 2008 Programme Committee Member

    The 19th International Conference on Concurrency Theory

  • PLACES 2008 Programme Committee Co-Chair

    The 1st International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

  • POPL 2008 Programme Committee Member

    The 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

  • CONCUR 2007 Programme Committee Member

    the 18th International Conference on Concurrency Theory

  • TGC 2007 Programme Committee Member

    The Third International Symposium on Trustworthy Global Computing

  • MALLOW-AWESOME'07

    International Multi-Agent Logics, Languages, and Organisations

  • FSTTCS 2006 Programme Committee Member

    The 26th International Conference, Foundations of Software Technology and Theoretical Computer Science

  • APLAS 2006 Programme Committee Member

    The Fourth ASIAN Symposium on Programming Languages and Systems

  • SeCRet 2006 Programme Committee Member

    1st International Workshop on Security and Rewriting Techniques

  • CONCUR 2004 Programme Co-Chair

    Fifteenth International Conference on Concurrency Theory

  • FoSSaCs 2005 Programme Committee Member

    Foundations of Software Science and Computation Structures, the European Joint Conferences on Theory and Practice of Software (ETAPS)

  • GT-VC 2005 Programme Committee Member

    Graph Transformation for Verification and Concurrency

  • VQR 2004-2010 Panel Member

    Evaluation of Research Quality (VQR 2004-2010), Italy

  • DCM 2005 Programme Committee Member

    1st International Workshop on New Developments in Computational Models

  • FSTTCS 2002 Programme Committee Member

    The 22nd International Conference, Foundation of Software Technology and Theoretical Computer Science

  • PLI 1999 Programme Committee Member

    Principles, Logics, and Implementations of High-Level Programming Languages

  • OOSDS 1999 Organiser

    Workshop on Object-Oriented Specification Techniques for Distributed Systems and Behaviours

Publications

  • 2015

    Francesco Tiezzi, Nobuko YoshidaReversible Session-Based Pi-Calculus . JLAMP: 1 - 49.
    Dimitris Mostrous, Nobuko YoshidaSession Typing and Asynchronous Subtyping for the Higher-Order π-Calculus . Inform. Comput.: 241, 227 - 263.
    Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko YoshidaA Gentle Introduction to Multiparty Asynchronous Session Types .To appear in SFM-15:MP.
    Sara Capecchi, Elena Giachino, Nobuko YoshidaGlobal Escape in Multiparty Sessions . MSCS: 29 (5), 1 - 50.
    Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca PadovaniGlobal Progress for Dynamically Interleaved Multiparty Sessions . MSCS: 760, 1 - 65.
  • 2014

    Rumyana NeykovaNobuko YoshidaMultiparty Session Actors . COORDINATION 2014: 131 - 146.
    Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko YoshidaOn the Preciseness of Subtyping in Session Types . PPDP 2014: 146 - 135.
    Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko YoshidaType Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion . FORTE 2014: 1 - 16.
  • 2013

    Fabrizio Montesi, Nobuko YoshidaCompositional Choreographies . CONCUR 2013: 439 - 425.
    Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko YoshidaInference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions . COORDINATION 2013: 45 - 59.
  • 2012

    Nicholas NgNobuko Yoshida, Xin Yu Niu, Kuen Hung Tsoi, Wayne LukSession Types: Towards safe and fast reconfigurable programming . SIGARCH CAN: 40 (5), 22 - 27.
    Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko YoshidaVerification of MPI Programs Using Session Types . EuroMPI'12: 291 - 293.
    Anders S. Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz HengleinTrustworthy Pervasive Healthcare Services via Multiparty Session Types . FHIES 2012: 124 - 141.
    Marco Carbone, Kohei Honda, Nobuko YoshidaStructured Communication-Centered Programming for Web Services . TOPLAS: 34 (13), 8.
    Silvia Crafa, Daniele Varacca, Nobuko YoshidaEvent Structure Semantics of Parallel Extrusion in the Pi-Calculus . FoSSaCS 2012: 225 - 239.
  • 2011

    Dimitrios KouzapasNobuko Yoshida, Kohei HondaOn Asynchronous Session Semantics . FMOODS/FORTE 2011: 228 - 243.
    Nicholas NgNobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos KryftisSafe Parallel Programming with Session Java . COORDINATION 2011: 110 - 126.
    Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun ChenNobuko YoshidaScribbling Interactions with a Formal Foundation . ICDCIT 2011: 55 - 75.
  • 2010

    Sara Capecchi, Elena Giachino, Nobuko YoshidaGlobal Escape in Multiparty Sessions . FTTCS 2010: 338 - 351.
    Raymond HuDimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei HondaType-Safe Eventful Sessions in Java . ECOOP 2010: 329 - 353.
    Lasse Nielsen, Nobuko Yoshida, Kohei HondaMultiparty Symmetric Sum Types . EXPRESS'10: 121 - 135.
    Daniele Varacca, Nobuko YoshidaTyped event structures and the linear pi-calculus . TCS: 411 (19), 1949 - 1973.
  • 2009

    Marco Carbone, Nobuko Yoshida, Kohei HondaAsynchronous Session Types: Exceptions and Multiparty Interactions . SFM 2009: 187 - 212.
    Dimitris Mostrous, Nobuko Yoshida, Kohei HondaGlobal Principal Typing in Partially Commutative Asynchronous Sessions . ESOP 2009: 316 - 332.
    Rosario Pugliese, Francesco Tiezzi, Nobuko YoshidaA Symbolic Semantics for a Calculus for Service-Oriented Computing . ENTCS: 135 - 164.
    Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko YoshidaObjects and session types . IC 2009: 207 (5), 595 - 641.
    Rosario Pugliese, Francesco Tiezzi, Nobuko YoshidaOn Observing Dynamic Prioritised Actions in SOC . ICALP (2) 2009: 558 - 570.
    Andi Bejleri, Nobuko YoshidaSynchronous Multiparty Session Types . ENTCS: 3 - 33.
    Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko YoshidaType-Directed Compilation for Multicore Programming . ENTCS: 101 - 111.
  • 2008

    Nobuko Yoshida, Kohei Honda, Martin BergerLogical Reasoning for Higher-Order Functions with Local State . CoRR: 4 (4), 68 - 1.
    Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei HondaSession-Based Compilation Framework for Multicore Programming . FMCO 2008: 226 - 246.
    Kohei Honda, Nobuko YoshidaA Unified Theory of Program Logics: An Approach based on the n-Calculus . BCS Int. Acad. Conf. 2008: 259 - 274.
    Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko YoshidaGlobal Progress in Dynamically Interleaved Multiparty Sessions . CONCUR 2008: 418 - 433.
    Marco Carbone, Kohei Honda, Nobuko YoshidaStructured Interactional Exceptions in Session Types . CONCUR 2008: 402 - 417.
    Raymond HuNobuko Yoshida, Kohei HondaSession-Based Distributed Programming in Java . ECOOP 2008: 516 - 541.
    Kohei Honda, Nobuko Yoshida, Marco CarboneMultiparty asynchronous session types . POPL '08: 273 - 284.
    Marco Carbone, Kohei Honda, Nobuko YoshidaTheoretical Aspects of Communication-Centred Programming . ENTCS: 125 - 133.