Kerry Trentelman     Curriculum Vitae      















 



 

Education

    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
 

Publications

  • 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.

  • Employment

    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
     
    701 Ellicott Street ~ Buffalo, New York 14203 ~ 716.881.8900privacy policy | contact us