Rajeev Gore

Rajeev Gore is a Professor in the Department of Data Science & AI at Monash University. His research focuses on formal verification, automated theorem proving, and logic systems. He has contributed significantly to areas including modal logics, voting system verification, and cryptographic protocols. Gore has been actively involved in developing verified decision procedures for modal logics and exploring applications in electronic voting systems.

His work bridges theoretical computer science and practical applications, with a particular emphasis on ensuring correctness through formal methods. Key contributions include the N-PAT nested model-checker and verified verifiability frameworks for voting systems like BeleniosVS and ElectionGuard. His research also addresses trust domains and cryptographic applications, reflecting a deep engagement with both foundational and applied aspects of logic and computation.

Gore's publications span over two decades, demonstrating sustained contributions in formal systems, automated reasoning, and security-critical applications. His work often combines rigorous mathematical foundations with practical tool development, emphasizing trustworthiness and verifiability in complex systems.