Cliff is a Professor of Computing Science at Newcastle. His past work has been on formal description of systems and ways of showing rigorously that a design (or program) satisfies a specification. He is now the overall Project Director of the IRC.