People
Prof Nobuko Yoshida
Professor of Computing
PublicationsNobuko 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 Lorenzo Gheri
Research Associate
PublicationsI 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
PublicationsAdam 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.
Dr Ping Hou
Research Associate
I am an RA at Imperial College London. My research interests are formal analysis and verification of programming languages and complex systems. Previously, I was a research fellow at the University of Innsbruck. I did my PhD at Katholieke Universiteit Leuven. Currently, I am focusing on the specification and verification of multiparty session type systems.
Dr Martin Vassor
Research Associate
I am a RA in the Department of Computing at Imperial College London. Before coming to Imperial, I did my PhD in the SPADES team at Inria Grenoble, France. My research interests include: component based systems, concurrency theory, type systems and reversibility of concurrent systems.
Stephen Ellis
PhD Student
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
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.
Shahin Honarvar
PhD Student
Shahin is a PhD student of Professor Nobuko Yoshida. He earned his master’s degree in Data Analytics from the University of Warwick, where he worked on the quantization of graph neural networks. Shahin received his BSc degree from the University of Leicester, where he developed QSharpCheck, the first property-based testing framework of Quantum programs in Q# and published the corresponding paper. During his PhD, he concentrates on the formal verification of cyber-physical systems using multi-party sessions, reversible sessions, and motion sessions calculi.
Nicolas Lagaillardie
PhD Student
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
PublicationsFangyi 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.