Swiss Federal Institute of Technology Zurich / University of Oxford

    ox_logo

  • Research partner

The formal verification group is moving from ETH Zurich to Oxford University, Computing Laboratory. The Computing Laboratory—the University's Computer Science department—is at the heart of computing and related interdisciplinary activity at Oxford.