Professor Rajeev Goré is Associate Director of Research for the Research School of Computer Science and Leader of the Logic and Computation Group in the College of Engineering and Computer Science at The Australian National University.

Rajeev’s research interests include electronic voting and vote-counting, term rewriting, interactive theorem proving, automated reasoning, and logic.

He obtained his PhD from the Computer Laboratory of the University of Cambridge in 1992. Before that, he was at the University of Melbourne completing a Bachelors degree with a double major in Physics and Computer Scienc, and a Masters degree in design automation.