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.

Perturbation Analysis for Probabilistic Verification, EPSRC first grant (EP/P00430X/1), 2016–2018. The principal investigator is Taolue Chen.

Fixed-parameter tractability for geometric optimization problems, EPSRC first grant (EP/N029143/1), 2016–2017. The principal investigator is Panos Giannopoulos.

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.