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.

Tags: 

Add new comment

Filtered HTML

  • Web page addresses and e-mail addresses turn into links automatically.
  • Allowed HTML tags: <a> <em> <strong> <cite> <blockquote> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.

Plain text

  • No HTML tags allowed.
  • Web page addresses and e-mail addresses turn into links automatically.
  • Lines and paragraphs break automatically.
CAPTCHA
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.
Image CAPTCHA
Enter the characters shown in the image.