This video was recorded at Code Mesh V 2020 - https://codesync.global/conferences/code-mesh-ldn/ Session Types: a History and Applications | Nobuko Yoshida - Professor of Computing at Imperial College London ABSTRACT Session types is a typing discipline for concurrent and distributed processes that can detect errors such as communication mismatches and deadlocks, statically or dynamically. This talk first gives a brief history of session types, along with a very gentle industry-friendly introduction of session types. I then talk how an extension of session types to multiparty interactions (multiparty session types) was discovered under the collaborations with industry. I then give a summary of our recent research developments on session types for verifying distributed, parallel and concurrent programs, and our collaborations with industry partners with demos. • Follow us on social: Website: https://codesync.global/conferences/code-mesh-ldn/ Twitter: https://twitter.com/CodeMeshIO • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what's coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw