Imperial College London

ProfessorNobukoYoshida

Faculty of EngineeringDepartment of Computing

Professor of Computing
 
 
 
//

Contact

 

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

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Guest Lectures

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Research Staff

Toninho,B

Scalas,A

Ng,N

Neykova,R

Lange,J

Hu,R

Research Student Supervision

Graversen,E, Graversen E

Franco,J, Franco J

Altayeva,A, Altayeva A