Covers formal verification for medical and aerospace equipment, parallel computing architecture, clinical big data pipelines, industrial IoT scheduling and privacy-preserving health record computing frameworks.
Collaborates with Bristol NHS trusts, aerospace and semiconductor enterprises for knowledge transfer, leads UK national AI and digital health research consortia.
Address: Merchant Venturers Building, Woodland Road, Bristol BS8 1UB, United KingdomSchool of Computer Science Website(https://www.bristol.ac.uk/computer-science)
