Introducing: Rajeev Gore
Professor Rajeev Gore is the leader of the Logic and Computation Group at the ANU Research School of Computer Science.
Rajeev did his BSc and MSc at the University of Melbourne and did his PhD at the University of Cambridge, England, in 1992. He was a post-doc at the University of Manchester, UK, from 1992-1994. He has been at the ANU since 1994, first as a Research Fellow, then as an Australian Research Council Queen Elizabeth II Fellow and finally as a researcher in the Research School of Computer Science. He is currently the leader of the Logic and Computation Group.
Rajeev will be speaking about Practical Reasoning About the Real World Using Formal Logic. He will present an outline of how logic can be used to solve real-world problems ranging from digital circuit verification to reasoning about legal documents. The technical content requires only basic first-year knowledge about logic, and he will introduce all the rest.