Skip navigation
The Australian National University

Professor Rajeev Gore

BSc MSc *Melbourne*, PhD *Cambridge*
ANU College of Engineering and Computer Science
T: 6125 8603

Areas of expertise

  • Analysis Of Algorithms And Complexity 080201
  • Mathematical Logic, Set Theory, Lattices And Universal Algebra 010107
  • Computational Logic And Formal Languages 080203
  • Computer System Security 080303
  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics) 010104
  • Software Engineering 080309
  • Artificial Intelligence And Image Processing 0801
  • Computation Theory And Mathematics 0802

Research interests

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 University of Melbourne.
I am currently the Leader of the Logic and Computation Group and am happy to answer questions about our group via email.

Available student projects

Practical access control in Java - Keywords: Access control, runtime verification, monitoring, temporal logic, Java


Projects and Grants

Grants are drawn from ARIES. To add Projects or Grants please contact your College Research Office.

Return to top

Updated:  24 August 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers