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.
I am a RA in the Department of Computing at Imperial College London. Previously, I was a PhD Student at ENS Lyon under the supervision of Pierre Clairambault and Olivier Laurent, working on true concurrent approaches to concurrent games semantics of programming languages. I am interested in semantics of concurrent programming languages, causal models, game semantics, type theory and their applications to static analysis of concurrent programs.
I am an RA in the Department of Computing at the Imperial College London. I did my PhD at the University of St Andrews, under the supervision of Kevin Hammond. My research interests are focused on high-level models of parallel computing (algorithmic skeletons), functional programming and typing systems. Specifically, I am interested in using the behavioural types approach for mapping high-level specifications programs to efficient low-level parallel programs.
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.
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.
Rumyana Neykova is an RA at Imperial College London, previously completed a PhD degree 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.
I am an RA in the Department of Computing at Imperial College London, previously completed a PhD degree under the supervision of Nobuko Yoshida and Wayne Luk. My research centres around a typing system for the Pi-calculus (session types) and its applications on high performance parallel computing systems. My recent research focuses on verification of concurrency in the Go programming language using using process calculi/behavioural types appraoch.
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.
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.