Bob Meyer
Automated Reasoning Project
Research School of Information Sciences and Engineering
The Australian National University

In 1998 Emeritus Professor Bob Meyer retired after more than twenty years at the ANU, first in Philosophy in the Research School of Social Sciences, and latterly in the ARP of which he was a founder. He has remained in the School as a Visiting Fellow since 1998. He is also dedicated to the Logicians Liberation League.
 

While Bob is an ANU Visiting Fellow in 2005, he is open as well to real jobs.

His (slightly out-of-date) CV is available in various formats

cvrkm.ps
cvrkm.dvi
cvrkm.tex

as is his list of publications

pubsrkm.ps
pubsrkm.dvi
pubsrkm.tex