Rajeev Goré

Professor Emeritus

Picture of Rajeev Goré

Google Scholar


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.


Electronic Voting and Vote-Counting, Proof Methods for Non-classical Logics, Term Rewriting, Interactive Theorem Proving, Automated Reasoning, Logic


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.

Activities & Awards

You are on Aboriginal land.

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

bars search times arrow-up