Mark Staples

I am employed by NICTA - I am a Senior Researcher, the Acting Research Group Manager for the Managing Complexity theme at NICTA’s ATP lab, the Sydney Project Manager for NICTA’s ArMaTure project, the leader of NICTA’s Software Infrastructure business area, and a Conjoint Senior Lecturer at UNSW with the School of Computer Science and Engineering.

My research areas are related to Configuration Management, Product Line Development, and Software Process Improvement.

Before moving to Sydney (in January 2004), I worked at a couple of software development companies. I was the Process and Tools Manager at Dialect Solutions, where I led the introduction of a new configuration management system and helped the company transition to a product line development approach for its electronic payments infrastructure products. Before that I was a Configuration Manager and Test Engineer at Foxboro Australia, where I worked on the quality and assurance of the safety-critical environmental control system of a mass transit system, and wrote a logic testing specification language that let electrical engineers write and maintain test cases for the system.

In 1999 I returned to Australia from the University of Cambridge Computer Laboratory, where I had been working for a year as a Research Associate in the Automated Reasoning Group. Before that I completed a PhD there, writing about a representation of the refinement calculus in the Isabelle/ZF theorem prover.