Emeritus Professor Rajeev Gore

BSc MSc *Melbourne*, PhD *Cambridge*
ANU College of Engineering, Computing and Cybernetics
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 was at the University of Melbourne, completing a BSc (hons I) with a double major in Physics and Computer Science, and an MSc in design automation.


Available student projects

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


Projects and Grants

Grants information is drawn from ARIES. To add or update Projects or Grants information please contact your College Research Office.

Return to top

Updated:  30 May 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers