Projects and Collaborations

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.