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 fixpoint logics.
Currently I am working on sequent calculi for Bi-Intuitionistic Logic;
practical description logic reasoning for logics with inverse roles;
proof theory of provability logic, and sequent calculi for intruder
detection.
Jeremy E Dawson and I are working on formalising proofs of weak and
strong normalisation for various calculi in the logical framework
Isabelle.
I am also interested in software engineering and security aspects of Java
applications, particularly for JavaCards.
Dr. Rajeev P. Goré Tel: +61-2-6125 8603
Automated Reasoning Group Fax: +61-2-6125 8651
Computer Sciences Laboratory Email: Rajeev.Gore at anu.edu.au
Research School of Information Sciences and Engineering
The Australian National University
Canberra, ACT, 0200, AUSTRALIA
ANU CRICOS Provider Number - 00120C
Rajeev.Gore at anu.edu.au