SHORT BIO:
Rajeev Gore 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 BSc (hons I) with a double major in Physics and Computer Science, and an MSc in design automation. His research interests include Electronic Voting and Vote-Counting, Proof Methods for Non-classical Logics, Term Rewriting, Interactive Theorem Proving, Automated Reasoning, and, of course, Logic.