EECS Distinguished Lecture Seminar - Nobuko Yoshida and Raymond Hu
Open to: Academic, Alumni, Public, Student Admission: Free Ticketing:
Session Types as a Descriptive Tool for Distributed Protocols
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.
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.
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