Bachelor of Science with honors, Sydney University, Australia, 1967. Master of Science, Sydney University, Australia, 1970. Doctor of Philosophy, Stanford University, 1972.
From assistant to associate professor Massachusetts Institute of Technology, Cambridge, 1972-1982. Head of research Sun Microsystems Inc., Mountain View, California, 1983-1985. Professor Stanford (California) University, since 1981.
President Triangle Concepts Inc., Palo Alto, California, since 1988.
Member Institute of Electrical and Electronics Engineers, American Mathematics Society, Association for Computing Machinery, Association for Symbolic Logic.
Married Margot Frances Koster, February 2, 1969. Children: Jennifer Katherine, Jacqueline Andrea.