Covers formal verification for safety-critical systems, parallel high-performance computing, RISC-V architecture design, cloud distributed scheduling and trusted operating systems for aerospace and medical devices.
Collaborates with global tech, aerospace and biotech firms for knowledge transfer, hosts UK national computing consortia and startup incubation programmes for advanced digital technologies.
Address: Wolfson Building, Parks Road, Oxford OX1 3QD, United KingdomDepartment of Computer Science Website(https://www.cs.ox.ac.uk/)
