He was appointed Foundation Professor of Computer Science at the Australian National University in 1978.

In March 1998 he became the Statutory Professor of Computing Science in the University of Oxford.

In March 2005 he took up a 5-year position as ARC Federation Fellow in the Mathematical Sciences Institute and the Research School of Information Sciences and Engineering at the Australian National University.

He was also Visiting Professor at the University of Oxford Sept 2005 - Sept 2011.

In March 2010 he became a Distinguished Professor of Mathematics and Computer Science with a joint appointment in the Mathematical Sciences Institute and the Research School of Computer Science at the Australian National University. Since September 2011 he has been an Emeritus Professor at ANU and a member of CARMA.

Chief Investigator with
J. Cannon
and
D. Stehlé
in the ARC Discovery grant DP0880724
*Integral lattices and their theta series*,
$360K for 2008-2010.

Chief Investigator with B. B. Zhou in the ARC Discovery grant DP0985271
*An integrative and interactive approach for co-estimation of
multiple sequence alignment and phylogeny reconstruction*,
$230K for 2009-2011.

Chief Investigator with M. Hegland * et al* in the
ARC Linkage Project LP110200410
* Robust numerical solution of partial differential equations on
petascale computer systems with applications
to tsunami modelling and plasma physics*,
$446K for 2011-2014.

Chief Investigator with
J. Borwein
and D. Bailey
in the
ARC Discovery Grant DP140101417
*Exploratory Experimentation and Computation in the Mathematical
Sciences: Theory and Practice*,
$415K for 2014-2017.
The rationale is given
here.

- BSc Monash (1968)
- MS Stanford (1970)
under the supervision of
Jack Herriot,
thesis
*Algorithms for matrix multiplication* - PhD Stanford (1971)
under the supervision of
George Forsythe
and
Gene Golub,

thesis*Algorithms for finding zeros and extrema of functions without calculating derivatives* - DSc Monash (1981),
thesis
*Topics in computational complexity and the analysis of algorithms* - MA Oxon (1998)

- BHP Prize, Victoria, 1963
- Fellow, Australian Academy of Science, 1982
- Australian Mathematical Society Medal, 1984
- Forsythe Memorial Lecturer, Stanford University, 1990
- Fellow, Institute of Electrical and Electronics Engineers (IEEE), 1991 (Life Fellow, 2011)
- Fellow, Institution of Engineers, Australia (IEAust), 1993 - 1998
- Fellow, Association for Computing Machinery (ACM), 1994 - 2013
- Fellow, Australian Mathematical Society (Aust MS), 1997
- Fellow, British Computer Society (BCS), 2002-2008
- Fellow, Institute of Mathematics and its Applications, UK (IMA), 2003
- Hannan Medal of the Australian Academy of Science, 2005
- Fellow, Society for Industrial and Applied Mathematics (SIAM), 2009
- Foreign Fellow, Bangladesh Academy of Sciences, 2009
- Moyal Medal, Macquarie University, 2014.

- Australian Academy of Science
- ACM
- AMS
- Aust MS and ANZIAM
- CMSA
- IEEE and the IEEE Computer Society
- IMA
- LMS
- Sigma Xi
- SIAM