16 September 2022 -
At 15 he moved onto theoretical physics, which led, eight years later, to his graduation from the University of Sydney with double honours in pure mathematics and physics. ... In 1976 he invented Dynamic Logic, a method of reasoning about computer