Menu

School of Electronic Engineering and Computer Science

events menu
Oct 25

EECS Distinguished Lecture Seminar - Nobuko Yoshida and Raymond Hu

Open to: Academic, Alumni, Public, Student
Admission: Free
Ticketing:

All welcome (especially students), no pre-booking required; Preceded at 2.45pm by tea and followed by a reception - both in the Informatics Hub)

Title:
Session Types as a Descriptive Tool for Distributed Protocols

Abstract:
We give a summary of our recent research developments on multiparty session types for verifying distributed, parallel and concurrent programs, and our collaborations with industry partners. We shall first talk how the session types were discovered from the theory of the pi-calculus by Kohei Honda, and how we started collaborations with industry to develop a protocol description language called Scribble. We then talk about the recent developments in Scribble, the network protocol verifications with demos.

Bio:
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.

Please note:
There is an Inaugural Lecture of Professor Pasquale Malacaria ‘Meaning, information and the arrow of time’ after this event at 6.30pm Venue: Peston Lecture Theatre in the Graduate Centre – to register please follow the link

 

Wed 25th October 2017

Start Time: 15:00
End Time: 16:00

 

BR 3.02
Bancroft Road Teaching Rooms
Peter Landin Building
London
E1 4NS

Return to top