Covers formal system verification for medical devices, high-performance parallel computing, clinical big data pipelines, industrial IoT cloud scheduling and privacy-preserving health record computing architectures.
Collaborates with London medical trusts, tech and aerospace enterprises for knowledge transfer, hosts UK national digital health and AI research consortia.
Address: Bush House, 30 Aldwych, London WC2B 4BG, United KingdomDepartment of Informatics Website(https://www.kcl.ac.uk/informatics)
