I do research on software engineering. Recently I have been investigating software engineering issues in the code-level formal verification of high assurance embedded systems. My interests include software architecture, software process, software product line development (i.e. large-scale software reuse and variation), and software configuration management (i.e. composition, traceability, version control, and change control).
I've been at NICTA since 2004, in what is now called the Software Systems Research Group. For three years I led the Managing Complexity research group (was "Empirical Software Engineering") at the ATP lab, and during that time was also the founding leader of the Fraunhofer Project Group on Transport and Logistics at NICTA. With SAP Research and Fraunhofer IESE, I led the creation of the Future Logistics Living Lab. Earlier at NICTA I led a project on Understanding the Impact of CMMI on SMEs, and conducted research in projects on Business Adaptation and Interoperation, and Trustworthy Embedded Systems. I also led the definition of the strategy for the earlier Software Infrastructure business area.
Prior to joining NICTA, I spent four years with software development companies in Brisbane, Australia, working in verification, configuration management, and process management roles. I worked on the development of safety-critical embedded systems for industrial automation in the transportation industry, and also on enterprise infrastructure for electronic payments over the Internet. Before this, I held a one-year post-doc position at the University of Cambridge Computer Laboratory.
My linkedin page has more details about my career.
I have a PhD from the University of Cambridge, in the Computer Lab.
My undergraduate degrees are from the University of Queensland: a Bachelor of Information Technology, a Bachelor of Science (Computer Science and Cognitive Science), and an honours year Bachelor of Information Technology Hons. (1st class).
I am a member of the IEEE Computer Society.
A list of my publications contains links to the papers where they are available.
Feel free to contact me:
My private home page contains other information about me.