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
Research Student Supervision
Altayeva,A, Altayeva A
Franco,J, Franco J
Graversen,E, Graversen E