Abbreviated Curriculum Vitae

Employment History

April 2018 – June 2022

Chief Scientist (Software) of HENSOLDT Cyber

January 2016 – August 2021

Chief Research Scientist at CSIRO's Data61

April 2011 – Dec 2015

Leader, Software Systems Research Group (SSRG) at NICTA (now Trustworthy Systems Group at UNSW)

January 2011 – now

Scientia Professor (Distinguished Professor), UNSW

January 2009 – now

John Lions Chair in Operating Systems, UNSW

January 2007 – June 2010

Chief Technology Officer, Open Kernel Labs

March 2003 – December 2015

seconded to newly-created NICTA to build the Embedded Real-time Operating Systems Research Group

May 2002 – December 2008

Professor of Operating Systems, UNSW

July 1998 – May 2002

Associate Professor, UNSW

March 1997 – March 2003


Leader, Computer Systems Engineering Group
(prior to 1/1/99 the Department of Computer Systems), UNSW

July 1994 – June 1998

Senior Lecturer, UNSW

April 1991 – June 1994

Lecturer, UNSW


Prior appointments:

February 1985 – February 1987

Teaching and research assistant, Computer Science Dept, ETH Zurich

June 1982 – June 1984

Teaching assistant, Dept of Physics, Brock University


Visiting appointments:

June – July 2010

Visiting Professor at LIP6 at the Université Pierre et Marie Curie (now part of Sorbonne Université)

August 2001 – February 2002

Visiting Professor (Lehrstuhlvertreter), Systems Architecture Chair (OS Group), University of Karlsruhe (now Karlsruhe Institute of Technology, KIT), Germany

July 1995 – January 1996

Visiting Scientist, Integrated Systems Laboratory (IIS), ETH-Zurich, Switzerland

September – October 1990

Intern, Advanced Products Research and Development Lab (APRDL), Motorola (later FreeScale, now part of NXP), Austin, TX

July – August 1986

Visiting Scientist, Dept of Physics, Brock University, Canada.





Computer Engineering

3D semiconductor device simulation



Brock University 

Semiconductor Physics

Computer Science



University of Freiburg