MobilityReadingGroup

Border Patrol: Improving Smart Device Security through Type-Aware Systems Design

01 February 2017 - 31 July 2023

• Dr Wim Vanderbauwhede

  PI,University of Glasgow

• Prof Sven-Bodo Scholz

  Co-PI,Heriot-Watt University Edinburgh

• Prof Nobuko Yoshida

  Investigator,Imperial College London

AppControl: Enforcing Application Behaviour through Type-Based Constraints

01 September 2020 - 28 February 2025

• Prof Wim Vanderbauwhede

  PI,University of Glasgow

• Prof K McDonald-Maier

  Other Investigator,University of Essex

• Dr X Zhai

  Other Investigator,University of Essex

• Dr J Cano Reyes

  Other Investigator,University of Glasgow

• Prof Nobuko Yoshida

  Other Investigator,University of Oxford

• Dr Jan de Muijnck-Hughes

  Researcher Co-Investigator,University of Glasgow

Fluid Session Types: End-to-End Verification of Communication Protocols

01 October 2019 - 30 September 2023

• Prof Nobuko Yoshida

  PI,Imperial College London

Morello-HAT: Morello High-Level API and Tooling

01 July 2022 - 28 February 2025

• Prof Wim Vanderbauwhede

  PI,University of Glasgow

• Prof K McDonald-Maier

  Other Investigator,University of Essex

• Dr X Zhai

  Other Investigator,University of Essex

• Dr J Cano Reyes

  Other Investigator,University of Glasgow

• Prof Nobuko Yoshida

  Other Investigator,University of Oxford

Session Types for Reliable Distributed Systems (STARDUST)

1 October 2020 - 30 September 2025

• Prof Nobuko Yoshida

  PI,Imperial College London/Oxford University

Turtles: Protocol-Based Foundations for Distributed Multiagent Systems

01 Nov 2016 - 31 Oct 2022

Related grant: EP/N027965/1

• Dr Amit Chopra

  PI,Lancaster University

• Prof Nobuko Yoshida

  PI,Imperial College London

Verified Simulation for Large Quantum Systems

01 June 2023 - 31 Mar 2025

• Prof Mohammad Mousavi

  PI,Kings College London

• Prof Nobuko Yoshida

  CO,University of Oxford

• Dr Miraculous Bhaseen

  Co,Kings College London

• Dr George Booth

  Co,Kings College London

Concurrent Robotics Programming with Choreographies

01 October 2021 - 28 February 2022

• Prof Nobuko Yoshida

  PI,Imperial College London

Session Type-Based Verification Framework for Message-Passing in Go

April 2017 - March 2021

• Prof Nobuko Yoshida

  PI,Imperial College London

Application Customisation: Enhancing Design Quality and Developer Productivity

01 March 2017 - 28 Feb 2022

• Prof Wayne Luk

  PI,Imperial College London

• Dr Cristian Cadar

  Co-PI,Imperial College London

• Prof Paul Kelly

  Co-PI,Imperial College London

• Dr CS Bouganis

  Co-PI,Imperial College London

• Prof George Constantinides

  Co-PI,Imperial College London

• Dr Peter Pietzuch

  Co-PI,Imperial College London

• Dr David Thomas

  Co-PI,Imperial College London

• Prof Peter Cheung

  Co-PI,Imperial College London

• Prof Nobuko Yoshida

  Co-PI,Imperial College London

Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems

Jan 2014 - Jan 2020

• Prof Nobuko Yoshida

  Co-PI,Imperial College London

• Dr Wim Vanderbauwhede

  PI,University of Glasgow

• Prof Sven-Bodo Scholz

  Co-PI,Heriot-Watt University Edinburgh

From Data Types to Session Types - A Basis for Concurrency and Distribution

20 May 2013 - 19 Nov 2020

• Prof Philip Wadler

  PI,University of Edinburgh

• Dr Simon Gay

  Co-PI,University of Glasgow

• Prof Nobuko Yoshida

  Co-PI,Imperial College London

Conversation-Based Governance for Distributed Systems by Multiparty Session Types

30 June 2013 - 29 Jun 2018

• Prof Nobuko Yoshida

  PI,Imperial College London

• Dr Kohei Honda

  Co-PI,Queen Mary, University of London

EU FP7 FET OpenX: UpScale

Feb 2014 - Jan 2017

• Prof Nobuko Yoshida

  PI,Imperial College London

• Prof Frank de Boer

  PI,CWI

• Prof Sophia Drossopoulou

  PI,Imperial College London

• Prof Einar Broch Johnsen

  PI,University of Oslo

• Dr Dave Clarke

  PI,Uppsala University

• Dr Tobias Wrigstad

  PI,Uppsala University

COST Action IC1201 BETTY

Oct 2012 - Oct 2016

• Prof Nobuko Yoshida

  Vice-Chair of WG 3 and MC member,Imperial College London

COST Action IC1405 Reversible computation

July 2015 - Mar 2019

• Prof Nobuko Yoshida

  member,Imperial College London

COST Action IC1402 ARVI

April 2015 -

• Prof Nobuko Yoshida

  MC member,Imperial College London

EPSRC Doctoral Prize fellowship

1st Oct 2017 - 30th Sep 2018

• Dr Rumyana Neykova

  Awardee,Imperial College London

EPSRC Doctoral Prize fellowship

1st June 2014 - 31st May 2015

• Dr Dimitrios Kouzapas

  Awardee,Imperial College London

EPSRC Knowledge Transfer Secondment Scheme

1 March 2013 - 28 Feb 2014

• Dr Raymond Hu

  Awardee,Imperial College London

Ocean Observatories Initiative (Subcontract for OOI CI) Conversations and Governance

Nov 2011 - Nov 2013

NSF Grant

• Prof Nobuko Yoshida

  PI,Imperial College London

• Dr Kohei Honda

  Co-PI,Queen Mary, University of London

Dynamic Assurance based on Multiparty Session Types

Jul 2009 -

VMWare industry grant

• Prof Nobuko Yoshida

  PI,Imperial College London

• Dr Kohei Honda

  Co-PI,Queen Mary, University of London