MobilityReadingGroup

π-calculus, Session Types research at Imperial College

People

Prof Nobuko Yoshida
Professor of Computing
Publications

Nobuko Yoshida is Professor of Computing at Imperial College London. Last 10 years, her main research interests are theories and applications of protocols specifications and verifications. She introduced multiparty session types [ POPL'08, JACM ] which received Most Influential POPL Paper Award in 2018 (judged by its influence over the last decade). This work enlarged the community and widened the scope of applications of session types, e.g. runtime monitoring based on Scribble (co-developed with Red Hat) has been deployed to other projects such as cyberinfrastructure in the US Ocean Observatories Initiative (OOI); and widened the scope of her research areas. She was awarded CNRS and JSSP visiting fellowships and visiting professorships at Paris VI and Paris VII. She is an editor of ACM Transactions on Programming Languages and Systems, Mathematical Structures in Computer Science, Journal of Logical Algebraic Methods in Programming, and the chief editor of The Computer-aided Verification and Concurrency Column for EATCS Bulletin. Her current industry partners include: Cognizant, Estafet, J.P. Morgan, Red Hat, Weaveworks, November Group, ABB, EDF Energy, Xilinx, EPCC Ltd, Codeplay Software Ltd and Mexeler.

Dr Francisco Ferreira
Research Associate
Publications

I am an RA at Imperial College. My research interests are proof assistants, programming language theory and design, and reactive systems. Previously, I did a PhD at McGill University under the supervision of Brigitte Pientka. My PhD thesis is about using contextual types to simplify writing programs and proofs with potentially open terms. Currently, I am working on simplifying the mechanization of session based type systems.

Dr Lorenzo Gheri
Research Associate
Publications

I am an RA at Imperial College London. I did my PhD at Middlesex University London, supervised by Andrei Popescu, Rajagopal Nagarajan and Franco Raimondi. From pure mathematics, my research interests have landed on the theory of programming languages, through proof assistants. For my PhD, I developed a formalised framework (in Isabelle/HOL) for specifying, and reasoning about, syntaxes with bindings. Later I worked on type systems for concurrent security. Currently I am focussing on the formalisation of multiparty session types (in Coq) and on investigating techniques for certifying communication.

Dr Adam Barwell
Research Associate
Publications

Adam is an RA in the Department of Computing at Imperial College London. Before coming to Imperial, he was a research fellow at the University of St Andrews, where he also obtained his PhD. Adam’s research interests include: parallelism, pattern discovery, type and effect systems, and program transformation techniques. He is interested in improving the reliability of parallel and distributed programs via the utilisation of patterns and type systems.

Assel Altayeva
PhD Student
Publications

Assel is a PhD student under the supervision of Professor Nobuko Yoshida. Her background is in Applied Logic and Constructive Type Theory. Assel holds a Master degree from Novosibirsk State University where she worked on computability of higher-order type functionals and precomplete arithmetical equivalences. Her current research concerns optimisation and data provenance problems arising in the architecture of complex distributed component based systems through application of session type theory.

Stephen Ellis
PhD Student
Publications

Stephen Ellis is a PhD student under the supervision of Professor Nobuko Yoshida. He previously earned a master’s degree at Radboud University where he read Mathematical Foundations of Computer Science. Current research is focused on concurrent program equivalence.

Julia Gabet
PhD Student
Publications

Juju is a PhD student under supervision of Professor Nobuko Yoshida. They have a master’s degree from Université d’Aix-Marseille, where they worked primarily on linear type systems over π-calculus under supervision of Pr. Emmanuel Beffara. Current research interests are focused on shared memory races and session types.

Eva Graversen
PhD Student
Publications

Eva Graversen is a PhD student working under the supervision of Professor Nobuko Yoshida and Dr Iain Phillips. She has a masters degree from Aalborg University, where she worked primarily on type inference for session types and generic type systems for psi-calculi. Her current research focuses on reversibility, session types, and event structures.

Nicolas Lagaillardie
PhD Student
Publications

Nicolas (Nico) is a PhD student under supervision of Professor Nobuko Yoshida. He has a master’s degree from Université de Lyon and an engineering degree from École Des Mines de Saint-Étienne. In the latter, he majored Computer Science and Data Science. In the former, he studied IoT related lectures, such as cyber security and Web development. He also worked with Dr Önder GÜRCAN during 6 months on the simulation of the Blockchain protocol Tendermint. Current research interests are focused on security of Blockchain.

Fangyi Zhou
PhD Student
Publications

Fangyi Zhou is a PhD student under the supervision of Professor Nobuko Yoshida. Fangyi obtained their master’s degree from Imperial College London, where they worked under the supervision of Professor Nobuko Yoshida on combining multiparty session types and refinement types. Their current research interests include the metatheory and implementation of refinement session types.