Speaking at a conference in 2009, he apologised for inventing the null reference:[REF] I call it my billion-dollar mistake.
For many years under his leadership his Oxford department worked on formal specification languages such as CSP and Z.