Graduate Students

Completed students for whom I was the advisor:

1. Keith Brinck (Ph.D.): Analysis of Algorithms on Trees. Awarded 1982.
2. Roslyn Riley (Ph.D.): NAF Models for Algebraic Specifications. Awarded 1987.
3. Timothy Nicholson (Ph.D.): Denotational Semantics for Prolog. Awarded 1988.
4. Anand Rao (Ph.D.): Dynamics of Belief Systems. Awarded 1989.
5. Mary-Anne Williams (M.Sc., New England): The Dynamics of Non-monotonic Reasoning. Awarded 1990.
6. Andrew Taylor (Ph.D.): High Performance Prolog Compiler. Awarded 1992.
7. Mark Grundy (Ph.D.): Theorem Prover Generation Using Refutation Procedures. Awarded 1992.
8. Mary-Anne Williams (Ph.D.): Transmutations of Knowledge Systems. Awarded 1994.
9. Simon Dixon (Ph.D.): Belief Revision: A Computational View. Awarded 1994.
10. Yan Zhang (Ph.D.): Reasoning About Persistence: A Unifying Principle for State Change. Awarded 1994.
11. Boon-toh Low (Ph.D.): Reasoning About Beliefs: An Inference Network Approach. Awarded 1994.
12. Pavlos Peppas (Ph.D. co-supervision): Belief Change and Reasoning About Action. Awarded 1994.
13. Maurice Pagnucco (Ph.D.): Abductive Belief Change. Awarded 1996.
14. Rex Kwok (Ph.D.): Theoretical Terms and Coherence. Awarded 1998.
15. Joseph Thurbon (Ph.D.): Diagrammatic Reasoning. Awarded 2001.
16. Bao Quoc Vo (Ph.D.): Meta-Contructs in Commonsense Reasoning, Completed 2001.

Current students for whom I am the advisor:

1. Tyrone O'Neill (Ph.D.): Continuous State Updates. Re-commenced 2001.
2. Victor Jauregui (Ph.D.): Semantics of Actions. Commenced 2000.
3. Kevin Irwig (PhD): Quantum Computing. Commenced 2001.
4. David Nieh (PhD): Data Base Ontologies. Commenced 2001.
5. Annie Chen (PhD): Complexity of Systems. Commenced 2002.

Completed students for whom I was the associate advisor:

1. John Zic (Ph.D.): CSP+T: A Formalism For Describing Real-Time Systems. Awarded 1992.
2. Michael Mitchell (M.Sc.): Augmented Statistical Lexical Disambiguation. Awarded 1994.
3. Jim Donovan (M.Sc.): An Object-Oriented Framework for Hierarchical Modelling of Road Traffic. Awarded 1994.
4. Zijian Zheng (Ph.D.): Constructing New Attributes for Decision Tree Learning. Awarded 1996.
5. Kaiming Ting (Ph.D.): Common Issues in Instance-Based and Naive Classifiers. Awarded 1996.