PhD in Computer Science, The Australian National University, 2006

Hons in Pure Mathematics, The University of Adelaide, 1996

BSc in Theoretical Physics and Pure Mathematics, The University of Adelaide, 1995

Barry Smith and Kerry Trentelman (2010) An axiomatization of Basic Formal Ontology, forthcoming.

Kerry Trentelman (2010) A temporal theory for the Basic Formal Ontology, in Proceedings of the 3rd Interdisciplinary Ontology Conference. Theorem proofs to a version submitted to Applied Ontology can be found here.

Kerry Trentelman (2009) Survey of Knowledge Representation and Reasoning Systems, Defence Science and Technology Organisation Technical Report 2324.

Kerry Trentelman (2009) Processable ENGlish: the Theory Behind the PENG system, Defence Science and Technology Organisation Technical Report 2301.

Kerry Trentelman (2006) Aspects of Java Program Verification, PhD thesis, The Australian National University.

Bernhard Beckert and Kerry Trentelman (2005) Second-order principles in specification languages for object-oriented programs, in Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 154–168.

Kerry Trentelman (2005) Proving correctness of JavaCard DL taclets using Bali, in Proceedings of the 3rd International Conference on Software Engineering and Formal Methods, 160–169.

Marieke Huisman and Kerry Trentelman (2005) Factorising temporal specifications, in Proceedings of Computing: the 11th Australasian Theory Symposium, 87–96.

Marieke Huisman and Kerry Trentelman (2002) Extending JML specifications with temporal logic, in Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, 334–348.