Covers formal verification for medical and aerospace devices, parallel supercomputing architecture, clinical big data pipelines, industrial IoT scheduling and privacy-preserving health record computing frameworks.
Collaborates with Manchester NHS trusts, aerospace and semiconductor enterprises for knowledge transfer, leads UK national AI and digital health research consortia.
Address: Kilburn Building, Oxford Road, Manchester M13 9PL, United KingdomDepartment of Computer Science Website(https://www.manchester.ac.uk/computer-science)
