Imperial College London

ProfessorNobukoYoshida

Faculty of EngineeringDepartment of Computing

Academic Visitor
 
 
 
//

Contact

 

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

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Guest Lectures

Session Types as a Descriptive Tool for Distributed Protocol, Queen Mary, University of London, 2017

Lightweight Session Programming in Scala, Center for Mathematics and Statistics, University of Novi Sad, Serbia, 2017

Let It Recover: Multiparty Protocol-Induced Recovery, School of Computing, University of Kent, Kent, 2017

Let It Recover: Multiparty Protocol-Induced Recovery, University of Camerino, Camerino, Italy, 2017

Multiparty Session Types and their Applications, Université Pierre et Marie Curie Paris 6, Paris, France, 2016

Compositionality and Session Types, Simon's Institute for the Theory of Computing, University of California, Berkeley, Berkeley, CA, 2016

Building Graphical Choreographies From Communicating Machines: Principles and Applications, University Paris-Diderot / IRIF, Paris, France, 2016

Building Graphical Choreographies From Communicating Machines: Principles and Applications, University of Southern Denmark, Denmark, 2016

Synthesis of Multiparty Session Types, Nagoya University, Nagoya, Japan, 2016

Synthesis of Multiparty Session Types, National Institute of Informatics (NII), Japan, 2016

Multiparty Session Types and their Applications, University of Pennsylvania, Pennsylvania, 2016

Multiparty Session Types and their Applications, School of Computer Science, The University of Manchester, Manchester, 2016

Multiparty Session Types and their Applications, School of Science and Technology, University of Camerino, Camerino, Italy, 2016

Multiparty Session Types And Their Applications, Center for Mathematics and Statistics, University of Novi Sad, Novi Sad, Serbia, 2016

Session types and their applications, 'Journées Francophones des Langages Applicatifs', JFLA 2016, Saint-Malo, France, 2016

Research Staff

Hu,R

Lange,J

Neykova,R

Ng,N

Scalas,A

Toninho,B

Research Student Supervision

Altayeva,A, Altayeva A

Franco,J, Franco J

Graversen,E, Graversen E