Covers formal verification for medical and aerospace equipment, high-performance parallel computing architecture, clinical big data pipelines, industrial IoT scheduling and privacy-preserving health record computing.
Collaborates with Edinburgh medical trusts, aerospace and semiconductor enterprises for knowledge transfer, leads UK national AI and digital health research consortia.
Address: Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, United KingdomSchool of Informatics Website(https://www.ed.ac.uk/informatics)
