Contributed to significant projects such as Hibernator, ShareII resource manager, Solaris Resource manager, and Aurema's ARMTech; published multiple papers, including 'Automatic device driver synthesis with Termite'.
Research Experience
Over 13 years of experience in commercial operating systems training and research; systems architect for several projects including Hibernator, a checkpoint-restart tool for UNIX(TM); Vice President of research at Aurema overseeing aspects of ARMTech(TM) resource management product; worked on the Gelato program at UNSW since 2002; subsequently worked at NICTA and CSIRO's Data61.
Education
PhD from the University of New South Wales in 1989; BSc in Physics in 1981; BE (Hons I) in Electrical Engineering in 1983, all from the same institution.
Background
Research interests include operating system abstractions for storage, scheduling, memory management, and locking. He is also interested in capacity planning and systems performance measurement and optimization. His main expertise is in Unix and Linux kernels and low-level system support built on these.
Miscellany
Hobbies include music, photography, and fine wines, which occasionally lead to research, such as developing the Articulate extension for Lilypond.