Who's Who in
Sciences Academia

Rajeev GORE

Academic Title: Professor

Name: Rajeev GORE

 

Department: School of Computer Science

Department Website: http://people.cecs.anu.edu.au/cs/academics/only

Institution: Australian National University

 

Address: The Australian National University
Canberra 00120C
Australia

 

Highest Degree:

Date of Degree:

Degree Institution:

 

E-mail: Contact by e-mail?

 

Expertise: 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

 

---

Start A New Search

If you are a faculty member and are not presently included in our Who's Who in Academia, you may submit a request to be added.

If you are currently included in our database and have previously established an account, you can update any of the information shown in your record.