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

Trentelman, Kerry (2009), "Survey of knowledge representation and reasoning systems", Defence Science and Technology Technical Report 2324.

Trentelman, Kerry (2009), "Processable English: the theory behind the PENG system", Defence Science and Technology Technical Report 2301.

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

Trentelman, Kerry and Beckert, Bernhard (2005), "Second-order principles in specification languages for object-oriented programs", in proceedings of Logic for Programming, Artificial Intelligence and Reasoning.

Trentelman, Kerry (2005), "Proving correctness of JavaCard DL taclets using Bali", in proceedings of Software Engineering and Formal Methods.

Trentelman, Kerry and Huisman, Marieke (2005), "Factorising temporal specifications", in proceedings of Computing: the Australasian Theory Symposium.

Trentelman, Kerry and Huisman, Marieke (2002), Extending JML specifications with temporal logic", in proceedings of Algebraic Methodology and Software Technology.