Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Rajeev Goré's Home Page
Rajeev Goré
Senior Fellow
I am a researcher in
the Automated Reasoning Group of the Computer Sciences Laboratory
(Research School of Information
Sciences and Engineering) here at the Australian National University
in Canberra.
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 E 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.