Covers formal verification, high-performance parallel computing, RISC-V processor architecture, distributed cloud infrastructure and secure operating system design for aerospace and medical critical systems.
Partners with global tech, aerospace and biotech enterprises for knowledge transfer, hosts multiple UK national computing research consortia and spin-out incubation programmes.
Address: William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United KingdomDepartment of Computer Science and Technology Website(https://www.cl.cam.ac.uk/)
