Kerry Trentelman Curriculum Vitae
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.
2009–2010 Postdoctoral Research Fellow, University at Buffalo
2007– Research Scientist, Defence Science and Technology Organisation
2005–2006 Project Officer, Australian Ethical Investment
1997–2000 Research Officer, National Centre for Vocation and Educational Research