Covers formal system verification, high-performance parallel computing, embedded IoT architecture, distributed cloud scheduling and privacy-preserving computing for clinical data pipelines.
Collaborates with London tech, medical device and aerospace enterprises for knowledge transfer, hosts UK national digital security and AI research consortia.
Address: Malet Place Engineering Building, Gower Street, London WC1E 6BT, United KingdomDepartment of Computer Science Website(https://www.ucl.ac.uk/computer-science)
