Research interests:

My main interests are in Gentzen systems for various logics, particularly modal logics and temporal logics. Currently I am working on the intricacies of Display Logic and how to obtain Gentzen systems for hybrid logics like intuitionistic modal logic. With Jeremy Dawson, I am working on formalising proofs of weak and strong normalisation for various calculi in the logical framework Isabelle. With Vaughan Coulthard, Jen Davoren and Thomas Moor I am working on inventing bi-modal tense logics with applications in hybrid systems. I am also interested in software engineering and security aspects of Java applications, particularly for JavaCards.

Duties:

I am currently the Leader of the Logic and Computation Group and am happy to answer questions about our group via email.

Bio:

I obtained my PhD from the Computer Laboratory of the University of Cambridge in 1992. Before that I completed my BSc (hons) and MSc at the Unviversity of Melbourne.

Research opportunities with Professor Rajeev GORE

• Automated Data Cleaning Via Logic
• Implementing Tableaux Using BDDs
• A Framework for Implementing Modal Logics Using the BDD Method
• Proof Theory of Resource Logics
• Efficient and Scalable Theorem Proving in Propositional Dynamic Logic with Converse.
• Finding Minimal Unsatisfiable Subsets in Temporal Logic
• Logical Reasoning for Data Integration
• Formalised Cut Elimination Proofs