SUCCESS: SecUre aCCESSibility for the IoT, EU CHIST-ERA Program. The principal investigator is Florian Kammueller.
Dreams4Cars: Dream-like simulation abilities for automated cars, EU Horizon 2020 Program. The principal investigator at Middlesex is David Windridge.
Verification of Web-Based Systems (VOWS), EPSRC first grant (EP/N019547/1), 2016–2017. The principal investigator is Andrei Popescu.
Reversible Computation—Extending Horizons of Computing, EU ICT COST Action (IC1405), 2015–2019. The person responsible at Middlesex is Rajagopal Nagarajan.