MobilityReadingGroup

π-calculus, Session Types research at Imperial College

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
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
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
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
Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
01 Nov 2016 - 31 Oct 2022
EP-N027833-1

Related grant: EP/N027965/1

https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/N027833/1
Concurrent Robotics Programming with Choreographies
01 October 2021 - 28 February 2022
vetss-robots

https://vetss.org.uk/funded-proposals/
Fluid Session Types: End-to-End Verification of Communication Protocols
01 October 2019 - 30 September 2023
vetss-fluid

https://vetss.org.uk/funded-proposals/
Session Type-Based Verification Framework for Message-Passing in Go
April 2017 - March 2021
vetss-session

https://vetss.org.uk/funded-proposals/
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
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
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
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
EU FP7 FET OpenX: UpScale
Feb 2014 - Jan 2017
FP7-upscale

http://upscale-project.eu/
COST Action IC1201 BETTY
Oct 2012 - Oct 2016
ic1201

http://www.cost.eu/COST_Actions/ict/Actions/IC1201
COST Action IC1405 Reversible computation
July 2015 - Mar 2019
ic1405

https://www.cost.eu/COST_Actions/ict/Actions/IC1405
COST Action IC1402 ARVI
April 2015 -
ic1402

https://www.cost.eu/COST_Actions/ict/Actions/IC1402
EPSRC Doctoral Prize fellowship
1st Oct 2017 - 30th Sep 2018
doctoral-prize-rn

EPSRC Doctoral Prize fellowship
1st June 2014 - 31st May 2015
doctoral-prize-dk

EPSRC Knowledge Transfer Secondment Scheme
1 March 2013 - 28 Feb 2014
KTS-RH

Ocean Observatories Initiative (Subcontract for OOI CI) Conversations and Governance
Nov 2011 - Nov 2013
OOI

NSF Grant

Dynamic Assurance based on Multiparty Session Types
Jul 2009 -
vmware

VMWare industry grant