MobilityReadingGroup

π-calculus, Session Types research at Imperial College

People

Prof Nobuko Yoshida
Professor of Computing
Publications

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.

Dr Raymond Hu
Research Associate
Publications

I am an RA at Imperial College London working primarily on the design and application of session types to practice. My recent and current work includes a graphical integration of multiparty session types and Petri nets, and the Scribble framework for multiparty session types verification in existing mainstream languages such as Java and Python. I have also recently worked on deadlock verification for advanced barrier-based concurrent programs. I completed my PhD at Imperial College London in 2011.

Dr Julien Lange
Research Associate
Publications

Dr. Julien Lange is a research associate at Imperial College London. He is mainly interests are centred around the relationship between local and global specifications of distributed systems. He gained his PhD from the University of Leicester in 2013.

Dr Rumyana Neykova
Research Associate
Publications

Rumyana Neykova is a third year PhD student at Imperial College London, under the supervision of Prof. Nobuko Yoshida. Her research interests are in the area of distributed systems and networks, as well as type systems and language design. Her PhD focuses on development and applications of a type theory (called session types) for runtime verification of concurrent and distributed systems.

Dr Nicholas Ng
Research Associate
Publications

I am an RA in the Department of Computing at Imperial College London, previously completed a PhD degree under the supervision of Professor Nobuko Yoshida and Professor Wayne Luk. My research centres around a typing system for the Pi-calculus (session types) and its applications on high performance parallel computing systems.

Dr Xinyu Niu
Research Associate
Publications

Dr Alceste Scalas
Research Associate
Publications

Dr Bernardo Toninho
Research Associate
Publications

I am interested in the intersection of type theory and proof theory with a strong emphasis on the applications to concurrency theory and concurrent programming. I hold a PhD from Carnegie Mellon University and from Universidade Nova de Lisboa, whose work focused on the logical foundations of session-based concurrency.

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.

Juliana Franco
PhD Student
Publications

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.