Covers formal verification for flight and medical systems, parallel supercomputing architecture, RISC-V secure chip design, industrial IoT cloud scheduling and privacy-preserving clinical data pipelines.
Collaborates with London aerospace, biotech and semiconductor firms for knowledge transfer, leads UK national digital security and AI research consortia.
Address: Huxley Building, South Kensington Campus, Exhibition Road, London SW7 2AZ, United KingdomDepartment of Computing Website(https://www.imperial.ac.uk/computing)
