Research

  This section under construction...

My past work in logic concerned intuitionistic logic, and connections between category theory and logic. My work in computer science has been directed to applying formal models of behaviour to build tools formalising the design process, for the inferential construction of correct systems. This has led to the LAMBDA system of Abstract Hardware Limited.

Publications

  This section under construction...

• Notes for a course on Algorithms and Data Structures(using ML) given at the University of Western Autralia, Perth, Jan-March 1994.
• Notes for a course on Proof and Design given at Marktoberdorf 1994.
• A paper on ML Modules given at CTCS 95.
• A chapter on Reasoning about VHDL written as part of the FORMAT project.
• A paper on Recursive Functions.