Research Grants
POST: Protocols, Observabilities and Session Types
01 Apr 2020 - 31 Mar 2025
EP/T006544/1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T006544/1-
Prof Nobuko Yoshida
PI, Imperial College London
Session Types for Reliable Distributed Systems (STARDUST)
1 October 2020 - 30 September 2024
EP/T014709/1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T014709/1-
Prof Nobuko Yoshida
PI, Imperial College London
AppControl: Enforcing Application Behaviour through Type-Based Constraints
01 September 2020 - 30 June 2024
EP/V000462/1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/V000462/1-
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, Imperial College London
-
Dr Jan de Muijnck-Hughes
Researcher Co-Investigator, University of Glasgow
Border Patrol: Improving Smart Device Security through Type-Aware Systems Design
01 February 2017 - 31 July 2023
EP-N028201-1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/N028201/1-
Dr Wim Vanderbauwhede
PI, University of Glasgow
-
Prof Sven-Bodo Scholz
Co-PI, Heriot-Watt University Edinburgh
-
Prof Nobuko Yoshida
Investigator, Imperial College London
Morello-HAT: Morello High-Level API and Tooling
01 July 2022 - 31 December 2024
EP/V000462/1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X015955/1-
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, Imperial College London
Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
01 Nov 2016 - 31 Oct 2022
EP-N027833-1Related grant: EP/N027965/1
https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/N027833/1-
Dr Amit Chopra
PI, Lancaster University
-
Prof Nobuko Yoshida
PI, Imperial College London
Concurrent Robotics Programming with Choreographies
01 October 2021 - 28 February 2022
vetss-robots https://vetss.org.uk/funded-proposals/-
Prof Nobuko Yoshida
PI, Imperial College London
Fluid Session Types: End-to-End Verification of Communication Protocols
01 October 2019 - 30 September 2023
vetss-fluid https://vetss.org.uk/funded-proposals/-
Prof Nobuko Yoshida
PI, Imperial College London
Session Type-Based Verification Framework for Message-Passing in Go
April 2017 - March 2021
vetss-session https://vetss.org.uk/funded-proposals/-
Prof Nobuko Yoshida
PI, Imperial College London
Application Customisation: Enhancing Design Quality and Developer Productivity
01 March 2017 - 28 Feb 2022
EP-P010040-1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/P010040/1-
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
EP-L00058X-1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/L00058X/1-
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
EP-K034413-1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/K034413/1-
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
EP-K011715-1 https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/K011715/1-
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
FP7-upscale http://upscale-project.eu/-
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
ic1201 http://www.cost.eu/COST_Actions/ict/Actions/IC1201-
Prof Nobuko Yoshida
Vice-Chair of WG 3 and MC member, Imperial College London
COST Action IC1405 Reversible computation
July 2015 - Mar 2019
ic1405 https://www.cost.eu/COST_Actions/ict/Actions/IC1405-
Prof Nobuko Yoshida
member, Imperial College London
COST Action IC1402 ARVI
April 2015 -
ic1402 https://www.cost.eu/COST_Actions/ict/Actions/IC1402-
Prof Nobuko Yoshida
MC member, Imperial College London
EPSRC Doctoral Prize fellowship
1st Oct 2017 - 30th Sep 2018
doctoral-prize-rn-
Dr Rumyana Neykova
Awardee, Imperial College London
EPSRC Doctoral Prize fellowship
1st June 2014 - 31st May 2015
doctoral-prize-dk-
Dr Dimitrios Kouzapas
Awardee, Imperial College London
EPSRC Knowledge Transfer Secondment Scheme
1 March 2013 - 28 Feb 2014
KTS-RH-
Dr Raymond Hu
Awardee, Imperial College London
Ocean Observatories Initiative (Subcontract for OOI CI) Conversations and Governance
Nov 2011 - Nov 2013
OOINSF 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 -
vmwareVMWare industry grant
-
Prof Nobuko Yoshida
PI, Imperial College London
-
Dr Kohei Honda
Co-PI, Queen Mary, University of London