Head Home    About Me

Mark Staples email mark.staples@markstaples.com

G'day! I am a Researcher with National ICT Australia. I am in the Empirical Software Engineering research program, based at the Australian Technology Park in Sydney. 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, and before that I was a Configuration Manager and Test Engineer at Foxboro Australia.

In 1999 I returned to Australia from the Computer Laboratory, where I had been working as a Research Associate. My project was in the Automated Reasoning Group, and was about dynamically linking the ACL2 and hol98 theorem provers. As an example, the system made theorems in HOL about executions of ACL2's 1998 version of its small-machine book.

Before that I completed a PhD in the Computer Lab. My thesis was about a representation of the refinement calculus in the Isabelle/ZF theorem prover. The refinement calculus covers many areas in Formal Methods including specification and programming language semantics.