The University of Oxford has confirmed its place as a specialist in formal verification of IC designs with the naming of Dr. Ziyad Hanna, Cadence vice president of R&D, as a visiting professor in Oxford’s Department of Computer Science for the next three years. Oxford’s Automated Verification Group has an international reputation and the appointment …